RISS 검색 - 국내학술지논문 상세보기

부가정보

국문 초록 (Abstract)

이 글에서 우리는 약화 없는 비교환적인 퍼지 논리의 크립키형의미론을 다룬다. 이의 한 예로, 우리는 가-유니놈에 기반한 퍼지논리 HpsUL의 한 확장 체계인 CnHpsUL*을 위한 대수적 크립키형 의...

이 글에서 우리는 약화 없는 비교환적인 퍼지 논리의 크립키형의미론을 다룬다. 이의 한 예로, 우리는 가-유니놈에 기반한 퍼지논리 HpsUL의 한 확장 체계인 CnHpsUL*을 위한 대수적 크립키형 의미론을 고려한다. 이를 위하여 먼저 CnHpsUL* 체계를 소개하고 그에 상응하는 CnHpsUL*-대수를 정의한 후 CnHpsUL*이 대수적으로 완전하다는 것을 보인다. 다음으로 CnHpsUL*을 위한 크립키형 의미론을 소개하고 이를 대수적 의미론과 연관 짓는다.

다국어 초록 (Multilingual Abstract)

This paper deals with Kripke-style semantics for weakening-free non-commutative fuzzy logics. As an example, we consider an algebraic Kripke-style semantics for an extension of the pseudo-uninorm based fuzzy logic HpsUL, CnHpsUL*. For this, first, we recall the system CnHpsUL*, define its corresponding algebraic structures CnHpsUL*-algebras, and algebraic completeness results for it. We next introduce a Kripke-style semantics for CnHpsUL*, and connect it with algebraic semantics.