• 제목/요약/키워드: FIMICASIL

검색결과 1건 처리시간 0.012초

누승적 미카놈 논리 IMICAL의 몇몇 공리적 확장 (Some Axiomatic Extensions of the Involutive Micanorm Logic IMICAL)

  • 양은석
    • 논리연구
    • /
    • 제18권2호
    • /
    • pp.197-215
    • /
    • 2015

  • 이 글에서 우리는 누승적 미카놈 논리 IMICAL의 몇몇 공리적 확장 체계의 표준 완전성을 다룬다. 이를 위하여, 먼저 누승적 미카놈에 바탕을 둔 네 논리 체계를 소개한다. 각 체계에 상응하는 대수적 구조를 정의한 후, 이들 체계가 대수적으로 완전하다는 것을 보인다. 다음으로, 이 논리 체계들 중 두 체계가 표준적으로 완전하다는 것 즉 단위 실수 [0,1]에서 완전하다는 것을 제네이-몬테그나 방식의 구성을 사용하여 보인다.

  • PDF