논문KCI 등재
Set-theoretical Kripke-style semantics for three-valued paraconsistent logic
0
조회
0
다운로드
2
인용
0
참고문헌
키워드
주제분류철학
초록
This paper deals with non-algebraic Kripke-style semantics for three-valued paraconsistent logic: set-theoretical Kripke-style semantics. We first recall two three-valued paraconsistent systems. We next introduce set-theoretical Kripke-style semantics for them.
Abstract
This paper deals with non-algebraic Kripke-style semantics for three-valued paraconsistent logic: set-theoretical Kripke-style semantics. We first recall two three-valued paraconsistent systems. We next introduce set-theoretical Kripke-style semantics for them.
참고문헌 (18)
- Anderson, A. R., "Entailment: The Logic of Relevance and Necessity, vol 2" (1992), Princeton Univ. Press
- Cintula, P., "Weakly Implicative (Fuzzy) Logics I: Basic properties", Archive for Mathematical Logic, pp.673~704 (2006)
- Dunn, J. M., "A Kripke-style semantics for R-Mingle using a binary accessibility relation", Studia Logica, 35, pp.163~172 (1976)
- Dunn, J. M., "Dordrecht, 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)
- Dunn, J. M., "Algebraic Methods in Philosophical Logic" (2001), Oxford Univ Press
- 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 Three-valued Paraconsistent Logic", 논리연구, 17(3), pp.441~460 (2014), 한국논리학회
- Yang, E., "Two kinds of (binary) Kripke-style semantics for three-valued logic", Logique et Analyse
관련 논문AI추천
Algebraic Kripke-style Semantics for Three-valued Paraconsistent Logic양은석한국논리학회 · 논리연구2014 · 제17권 제3호Set-Theoretical Kripke-Style Semantics for an Extension of HpsUL, CnHpsUL양은석한국논리학회 · 논리연구2018 · 제21권 제1호Set-theoretic Kripke-style Semantics for Weakly Associative Substructural Fuzzy Logics양은석한국논리학회 · 논리연구2019 · 제22권 제1호Algebraic Kripke-Style Semantics for Weakly Associative Fuzzy Logics양은석한국논리학회 · 논리연구2018 · 제21권 제2호R, Fuzzy R, and Set-Theoretic Kripke-Style Semantics양은석한국논리학회 · 논리연구2019 · 제22권 제2호Algebraic Kripke-style semantics for weakening-free fuzzy logics양은석한국논리학회 · 논리연구2014 · 제17권 제1호