http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
양은석 ( Eun Suk Yang ) 한국논리학회 2016 論理硏究 Vol.19 No.1
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.
Algebraic Kripke-style Semantics for an Extension of HpsUL, CnHpsUL
양은석 한국논리학회 2016 論理硏究 Vol.19 No.1
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.
양은석 ( Eunsuk Yang ) 한국논리학회 2018 論理硏究 Vol.21 No.1
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.
Set-Theoretical Kripke-Style Semantics for an Extension of HpsUL, CnHpsUL
양은석 한국논리학회 2018 論理硏究 Vol.21 No.1
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.