Algebraic Kripke-style semantics for weakening-free fuzzy logics
2
조회
0
다운로드
9
인용
0
참고문헌
키워드
초록
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.
Abstract
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.
참고문헌 (9)
- Cintula, P., "Distinguished algebraic semantics for t-norm based Fuzzy Logics", Annals of Pure and Applied Logic, 160, pp.53~81 (2009)
- Esteva, F., "Monoidal t-norm based logic : towards a logic for left-continous t-norms", Fuzzy Sets and Systems, 124, pp.271~288 (2001)
- Gabbay, D., "Fuzzy Logics based on [0, 1)-continuous uninorms", Archive for Mathematical Logic, 46, pp.425~449 (2007)
- Metcalfe, G., "Substructural Fuzzy Logics", Journal of Symbolic Logic, 72, pp.834~864 (2007)
- Montagna, F., "Kripke semantics, undecidability and standard completeness for Esteva and Godo's Logic MTL∀", Studia Logica, 71, pp.227~245 (2002)
- Montagna, F., "Kripke-style semantics for many-valued logics", Mathematical Logic Quarterly, 49, pp.629~641 (2003)
- Montagna, F., "Corrigendum to"Kripke-style semantics for many-valued logics", Mathematical Logic Quarterly, 50, pp.104~107 (2004)
- Tsinakis, C., "The structure of residuated lattices", International Journal of Algebra and Computation, 13, pp.437~461 (2003)
- 양은석, "Kripke-style Semantics for UL", 논리연구, 15(1), pp.1~15 (2012), 한국논리학회