이 글에서 우리는 퍼지 논리들을 위한 크립키형 의미론을 다룬다. 이를 위한 한 예로 UL을 위한 크립키형 의미론을 다룬다. 이를 위하여 먼저 UL 채계를 소개하고 그에 상응하는 UL-대수를 정의한 후 UL이 대수적으로 완전하다는 것을 보인다. 다음으로 UL을 위한 크립키형 의미론을 소개하고 이를 대수적 의미론과 연관 짓는다.
This paper deals with Kripke-style semantics for fuzzy logics. As an example we consider a Kripke-style semantics for the uninorm based fuzzy logic UL. For this, first, we introduce UL, define the corresponding algebraic structures UL-algebras, and give algebraic completeness results for it. We next introduce a Kripke-style semantics for UL, and connect it with algebraic semantics.
