함의적 토노이드 (퍼지) 논리와 린덴바움 행렬 의미론
Implicational tonoid (fuzzy) logics and Lindenbaum matrix Semantics
이 논문에서는 함의적 토노이드 (퍼지) 논리 일반을 위한 린덴바움 행렬 의미론을 다룬다. 보다 정확하게 우리는 먼저 함의적 토노이드 논리를 논리들의 집합으로 소개한다. 다음으로 이 논리를 위한 린덴바움 행렬 의미론을 소개한 후 이 논리가 모든 린덴바움 모델 위에서 완전하다는 것을 증명한다. 마지막으로 유사하게 함의적 토노이드 퍼지 논리 일반과 그것의 린덴바움 행렬 의미론을 고려한다. 즉 우리는 함의적 토노이드 논리를 정의한 후 이 논리가 모든 선형적으로 순서지어진 린덴바움 모델 위에서 완전하다는 것을 증명한다.
This paper addresses Lindenbaum matrix semantics for implicational tonoid (fuzzy) logic in general. To be more exact, we first recall implicational tonoid logic as a class of logics. We then introduce a Lindenbaum semantics for it and prove that this logic is complete on all Lindenbaum models. Finally, we analogously consider implicational tonoid fuzzy logic in general and its Lindenbaum semantics. Namely, we define implicational tonoid fuzzy logic and prove that this logic is complete on all linearly ordered Lindenbaum models.
한국논리학회
전북대학교 양은석
