약한 결합 원리를 만족하는 준선형 논리와 크립키식 의미론
Weak associative semilinear logics and Kripke-style semantics
이 논문에서는 약한 결합 원리를 만족하는 준선형 논리를 위한 얼크하르트-파인식 의미론이라고 불리는 크림키식 의미론을 연구한다. 이를 위하여 약한 결합 원리를 만족하는 준선형 논리 체계 WAuBUL과 얼크하르트-파인식 의미론을 먼저 소개한다. 다음으로 표준적 진리값 할당을 통해 WAuBUL이 건전하고 완전하다는 것을 보인다. 마지막으로 이를 주승적 확장체계 WAuIBUL로 확대한다. 특히 *-얼크하르트-파인식 의미론이라고 불리는 * 연산을 갖는 얼크하르트-파인식 의미론을 WAuIBUL을 위해 다룬다.
This paper investigate Kripke-style semantics called Urquhart-Fine-style semantics for weak associative semilinear logics. More exactly, first, the weak associative semilinear logic WAuBUL and Urquhart-Fine-style semantics for it are discussed. Soundness and completeness results for WAuBUL are then provided using canonical valuations. Finally this work is extended to the involutive extension WAuIBUL. We especially deal with Urquhart-Fine-style semantics with * operation, called *-Urquhart-Fine-style semantics, for WAuIBUL.
중앙대학교 중앙철학연구소
전북대학교 양은석
