Korean Journal of Logic (논리연구)

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

Kripke-style Semantics for UL

UL을 위한 크립키형 의미론

  • Yang, Eun-Suk (Division of Liberal Arts and Teacher Education University of Seoul)
  • Received : 2011.09.05
  • Accepted : 2011.12.29
  • Published : 2012.02.28
Download PDF
⟨ Previous Next ⟩

Abstract

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.

이 글에서 우리는 퍼지 논리들을 위한 크립키형 의미론을 다룬다. 이를 위한 한 예로 UL을 위한 크립키형 의미론을 다룬다. 이를 위하여 먼저 UL 채계를 소개하고 그에 상응하는 UL-대수를 정의한 후 UL이 대수적으로 완전하다는 것을 보인다. 다음으로 UL을 위한 크립키형 의미론을 소개하고 이를 대수적 의미론과 연관 짓는다.

Keywords