Algebraic Kripke-style Semantics for Three-valued Paraconsistent Logic
2
조회
0
다운로드
6
인용
0
참고문헌
키워드
초록
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.
Abstract
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.
참고문헌 (16)
- Cintula, P., "Weakly Implicative (Fuzzy) Logics I: Basic properties", Archive for Mathematical Logic, pp.673~704 (2006)
- Diaconescu, D., "On the forcing semantics for monoidal t-norm based logic", Journal of Universal Computer Science, 13, pp.1550~1572 (2007)
- Dunn, J. M., "Handbook of Philosophical Logic, vol III", pp.117~224 (1986), D. Reidel Publ. Co.
- Dunn, J. M., "Partiality and its Dual", Studia Logica, 66, pp.5~40 (2000)
- Galatos, N., "Residuated lattices: an algebraic glimpse at substructural logics" (2007), Elsevier
- 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 Quaterly, 49, pp.629~641 (2003)
- Montagna, F., "Corrigendum to “Kripke-style semantics for many-valued logics", Mathematical Logic Quaterly, 50, pp.104~107 (2004)
- Tsinakis, C., "The structure of residuated lattices", International Journal of Algebra and Computation, 13, pp.437~461 (2003)
- Yang, E., "(Star-based)three-valued Kripke-style semantics for pseudo-and weak-Boolean logics", Logic Journal of the IGPL, 20, pp.187~206 (2012)
- 양은석, "Kripke-style Semantics for UL", 논리연구, 15(1), pp.1~15 (2012), 한국논리학회
- 양은석, "R, fuzzy R, and Algebraic Kripke-style Semantics", 논리연구, 15(2), pp.207~221 (2012), 한국논리학회[DOI]
- Yang, E., "R and Relevance principle revisited", Journal of Philosophical Logic, 42, pp.767~782 (2013)
- 양은석, "Algebraic Kripke-style semantics for weakening-free fuzzy logics", 논리연구, 17(1), pp.181~195 (2014), 한국논리학회
- Yang, E., "Two kinds of (binary) Kripke-style semantics for three-valued logic", Logique et Analyse (2015)