Korean Journal of Logic (논리연구)

Korean Association for Logic (한국논리학회)
권호 표지

Some Axiomatic Extensions of the Involutive Micanorm Logic IMICAL

누승적 미카놈 논리 IMICAL의 몇몇 공리적 확장

  • Yang, Eunsuk (Department of Philosophy & Institute of Critical Thinking and Writing, Chonbuk National University)
  • 양은석 (전북대학교 철학과, 비판적사고와논술연구소)
  • Received : 2015.03.02
  • Accepted : 2015.05.15
  • Published : 2015.06.30
Download PDF
⟨ Previous Next ⟩

Abstract

In this paper, we deal with standard completeness of some axiomatic extensions of the involutive micanorm logic IMICAL. More precisely, first, four involutive micanorm-based logics are introduced. Their algebraic structures are then defined, and their corresponding algebraic completeness is established. Next, standard completeness is established for two of them using construction in the style of Jenei-Montagna.

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

Keywords