Kripke-style semantics for pretabular fuzzy logics: Involutive idempotent fuzzy logics
0
조회
0
다운로드
0
인용
0
참고문헌
키워드
초록
This paper addresses Kripke-style semantics for pretabular fuzzy logics, called involutive idempotent fuzzy logics. As its example, we consider the involutive uninorm mingle logic IUML. More exactly, we first recall the fuzzy logic IUML and its algebraic semantics. We next introduce algebraic Kripke-style semantics for it and consider its pretabularity in the context of Kripke-style semantics.
Abstract
This paper addresses Kripke-style semantics for pretabular fuzzy logics, called involutive idempotent fuzzy logics. As its example, we consider the involutive uninorm mingle logic IUML. More exactly, we first recall the fuzzy logic IUML and its algebraic semantics. We next introduce algebraic Kripke-style semantics for it and consider its pretabularity in the context of Kripke-style semantics.
참고문헌 (17)
- Cintula, P., "Weakly Implicative (Fuzzy) Logics I: Basic properties", Archive for Mathematical Logic, 45, pp.673~704 (2006)
- Dunn, J. M., "Algebraic completeness for R-mingle and its extensions", The Journal of Symbolic Logic, 35, pp.1~13 (1970)
- Dunn, J. M., "Algebraic Methods in Philosophical Logic" (2001), Oxford Univ Press
- Dunn, J. M., "Algebraic completeness results for Dummett's LC and its extensions", Mathematical Logic Quarterly, 17, pp.225~230 (1971)
- Esteva. F., "Monoidal t-norm based logic:towards a logic for left-continuous t-norms", Fuzzy Sets and Systems, 124, pp.271~288 (2001)
- 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, 7, pp.227~245 (2002)
- Raftery, J. G., "Representable idempotent commutative residuated lattices", Transactions of the American Mathematical Society, 35(9), pp.4405~4427 (2007)
- Sugihara, T., "Strict implication free from implicational paradoxes", pp.55~59 (1955), Fukui University
- 양은석, "Kripke-style Semantics for UL", 논리연구, 15(1), pp.1~15 (2012), 한국논리학회[DOI]
- Yang, E., "Algebraic Kripke-style semantics for relevance logics", Journal of Philosophical Logic, 43, pp.803~826 (2014)
- 양은석, "Algebraic Kripke-style semantics for substructural fuzzy logics", 논리연구, 19(2), pp.295~322 (2016), 한국논리학회[DOI]
- Yang, E., "Fixpointed idempotent uninorm (based) logics", Mathematics, 7(1)통권 : 107, pp.1~15 (2019)
- 양은석, "R, Fuzzy R, and Set-Theoretic Kripke-Style Semantics", 논리연구, 22(2), pp.291~307 (2019), 한국논리학회[DOI]
- 양은석, "Involutive Idempotent Uninorm Logics and Pretabularity", 논리연구, 22(3), pp.397~415 (2019), 한국논리학회[DOI]
- Yang, E, "Nilpotent Minimum Logic NM and Pretabularity", Bulletin of the Section of Logic, 49, pp.1~11 (2020)
- Yang, E., "Algebraic relational semantics for basic substructural logics", Logique et Analyse, 252, pp.415~441 (2020)