http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
퍼지 논리 MTL을 위한 대수적 루트리-마이어형 의미론
양은석 ( Eunsuk Yang ) 한국논리학회 2018 論理硏究 Vol.21 No.3
This paper deals with Routley-Meyer-style semantics, which will be called algebraic Routley-Meyer-style semantics, for the fuzzy logic system MTL. First, we recall the monoidal t-norm logic MTL and its algebraic semantics. We next introduce algebraic Routley-Meyer-style semantics for it, and also connect this semantics with algebraic semantics.
양은석 ( Eunsuk Yang ) 한국논리학회 2016 論理硏究 Vol.19 No.2
This paper deals with Kripke-style semantics, which will be calledalgebraic Kripke-style semantics, for fuzzy logics based on uninorms (socalled uninorm-based logics). First, we recall algebraic semantics foruninorm-based logics. In the general framework of uninorm-based logics, wenext introduce various types of general algebraic Kripke-style semantics, andconnect them with algebraic semantics. Finally, we analogously considerparticular algebraic Kripke-style semantics, and also connect them withalgebraic semantics
Algebraic Kripke-style semantics for substructural fuzzy logics
양은석 한국논리학회 2016 論理硏究 Vol.19 No.2
This paper deals with Kripke-style semantics, which will be called algebraic Kripke-style semantics, for fuzzy logics based on uninorms (so called uninorm-based logics). First, we recall algebraic semantics for uninorm-based logics. In the general framework of uninorm-based logics, we next introduce various types of general algebraic Kripke-style semantics, and connect them with algebraic semantics. Finally, we analogously consider particular algebraic Kripke-style semantics, and also connect them with algebraic semantics.
퍼지 논리 IMTL을 위한 대수적 루트리-마이어형 의미론
양은석 ( Eunsuk Yang ) 한국논리학회 2020 論理硏究 Vol.23 No.3
Routley-Meyer-style semantics, called algebraic Routley-Meyer-style semantics, was investigated for the fuzzy logic system MTL. This paper extends this investigation to involutive systems. More precisely, as an example, we consider such semantics for the fuzzy logic system IMTL. First, we recall the involutive monoidal t-norm logic IMTL and its algebraic semantics. We next introduce algebraic Routley-Meyer-style semantics for it and then connect this semantics with algebraic semantics.
Algebraic Routley-Meyer-style semantics for the fuzzy logic MTL
양은석 한국논리학회 2018 論理硏究 Vol.21 No.3
This paper deals with Routley-Meyer-style semantics, which will be called algebraic Routley-Meyer-style semantics, for the fuzzy logic system MTL. First, we recall the monoidal t-norm logic MTL and its algebraic semantics. We next introduce algebraic Routley-Meyer-style semantics for it, and also connect this semantics with algebraic semantics.
Algebraic Kripke-style semantics for weakening-free fuzzy logics
양은석 한국논리학회 2014 論理硏究 Vol.17 No.1
This paper deals with Kripke-style semantics for fuzzy logics. More exactly, I introduce algebraic Kripke-style semantics for some weakening-free extensions of the uninorm based fuzzy logic UL. For this, first, I introduce several weakening-free extensions of UL, define their corresponding algebraic structures, and give algebraic completeness. Next, I introduce several algebraic Kripke-style semantics for those systems, and connect these semantics with algebraic semantics.
Algebraic Kripke-style Semantics for Three-valued Paraconsistent Logic
양은석 한국논리학회 2014 論理硏究 Vol.17 No.3
This paper deals with one sort of Kripke-style semantics for three-valued paraconsistent logic: algebraic Kripke-style semantics. We first introduce two three-valued systems, define their corresponding algebraic structures, and give algebraic completeness results for them. Next, we introduce algebraic Kripke-style semantics for them, and then connect them with algebraic semantics.
양은석 ( Eun Suk Yang ) 한국논리학회 2014 論理硏究 Vol.17 No.1
This paper deals with Kripke-style semantics for fuzzy logics. More exactly, I introduce algebraic Kripke-style semantics for some weakening-free extensions of the uninorm based fuzzy logic UL. For this, first, I introduce several weakening-free extensions of UL, define their corresponding algebraic structures, and give algebraic completeness. Next, I introduce several algebraic Kripke-style semantics for those systems, and connect these semantics with algebraic semantics.
Algebraic Kripke-Style Semantics for Weakly Associative Fuzzy Logics
양은석 한국논리학회 2018 論理硏究 Vol.21 No.2
This paper deals with Kripke-style semantics, which will be called algebraic Kripke-style semantics, for weakly associative fuzzy logics. First, we recall algebraic semantics for weakly associative logics. W next introduce algebraic Kripke-style semantics, and also connect them with algebraic semantics.
약한 결합 원리를 갖는 퍼지 논리를 위한 대수적 크립키형 의미론
양은석 ( Eunsuk Yang ) 한국논리학회 2018 論理硏究 Vol.21 No.2
This paper deals with Kripke-style semantics, which will be called algebraic Kripke-style semantics, for weakly associative fuzzy logics. First, we recall algebraic semantics for weakly associative logics. W next introduce algebraic Kripke-style semantics, and also connect them with algebraic semantics.