닫기
18.97.9.170
18.97.9.170
close menu
Accredited
CnHpsUL*을 위한 집합 이론적 크립키형 의미론
Set-Theoretical Kripke-Style Semantics for an Extension of HpsUL, CnHpsUL*
양은석 ( Eunsuk Yang )
논리연구 vol. 21 iss. 1 39-58(20pages)
UCI I410-ECN-0102-2018-100-003736232

이 글에서 우리는 약화 없는 비교환적인 퍼지 논리의 비대수적 크립키형 의미론 즉 집합 이론적 크립키형 의미론을 다룬다. 이를 위하여 먼저 우리는 가-유니놈에 기반한 퍼지 논리 HpsUL의 한 확장 체계인 CnHpsUL*을 소개한다. 다음으로 CnHpsUL*을 위한 집합 이론적 크립키형 의미론을 소개한다.

This paper deals with non-algebraic Kripke-style semantics, i.e, set-theoretical Kripke-style semantics, for weakening-free non-commutative fuzzy logics. We first recall an extension of the pseudo-uninorm based fuzzy logic HpsUL, CnHpsUL*. We next introduce set-theoretical Kripke-style semantics for it.

[자료제공 : 네이버학술정보]
×