논문KCI 등재
R, Fuzzy R, and Set-Theoretic Kripke-Style Semantics
0
조회
0
다운로드
3
인용
0
참고문헌
키워드
주제분류철학
초록
This paper deals with set-theoretic Kripke-style semantics for FR, a fuzzy version of R of Relevance. For this, first, we introduce the system FR and its corresponding Kripke-style semantics. Next, we provide set-theoretic completeness results for it.
Abstract
This paper deals with set-theoretic Kripke-style semantics for FR, a fuzzy version of R of Relevance. For this, first, we introduce the system FR and its corresponding Kripke-style semantics. Next, we provide set-theoretic completeness results for it.
참고문헌 (17)
- Anderson, A. R., "Entailment: The Logic of Relevance and Necessity, vol 1" (1975), Princeton Univ. Press
- 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, 45, pp.673~704 (2006)
- Cintula, P., "Mathematical Fuzzy Logic" (2015), Springer Press
- Cintula, P, "A general framework for mathematical fuzzy logic, Handbook of Mathematical Fuzzy Logic, vol 1", pp.103~207 (2011), College publications
- Dunn, J. M., "Handbook of Philosophical Logic, vol III", pp.117~224 (1986), Reidel Publ. Co
- Meyer, R. K., "Completeness of relevant quantification theories", Notre Dame Journal of Formal Logic, 15, pp.97~121 (1976)
- Metcalfe, G., "Substructural Fuzzy Logics", Journal of Symbolic Logic, 72, pp.834~864 (2007)
- 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)
- 양은석, "R, fuzzy R, and Algebraic Kripke-style Semantics", 논리연구, 15(2), pp.207~221 (2012), 한국논리학회[DOI]
- 양은석, "Algebraic Kripke-style Semantics for an Extension of HpsUL, CnHpsUL", 논리연구, 19(1), pp.107~126 (2016), 한국논리학회[DOI]
- 양은석, "Algebraic Kripke-style semantics for substructural fuzzy logics", 논리연구, 19(2), pp.295~322 (2016), 한국논리학회[DOI]
- 양은석, "Set-theoretic Kripke-style Semantics for Involutive Monoidal T-norm (Based) Logics", 철학사상, pp.79~88 (2017), 철학사상연구소[DOI]
- 양은석, "Set-Theoretical Kripke-Style Semantics for an Extension of HpsUL, CnHpsUL", 논리연구, 21(1), pp.39~57 (2018), 한국논리학회[DOI]
- 양은석, "Algebraic Kripke-Style Semantics for Weakly Associative Fuzzy Logics", 논리연구, 21(2), pp.155~173 (2018), 한국논리학회[DOI]
- 양은석, "Set-theoretic Kripke-style Semantics for Weakly Associative Substructural Fuzzy Logics", 논리연구, 22(1), pp.25~42 (2019), 한국논리학회[DOI]
관련 논문AI추천
R, fuzzy R, and Algebraic Kripke-style Semantics양은석한국논리학회 · 논리연구2012 · 제15권 제2호Relational Semantics for Fuzzy Extensions of R: Set-theoretic Approach양은석한국논리학회 · 논리연구2023 · 제26권 제1호Set-theoretic Kripke-style Semantics for Weakly Associative Substructural Fuzzy Logics양은석한국논리학회 · 논리연구2019 · 제22권 제1호Fuzzy R Systems and Algebraic Routley-Meyer Semantics양은석한국논리학회 · 논리연구2022 · 제25권 제3호Routley-Meyer semantics for R양은석한국논리학회 · 논리연구2015 · 제18권 제3호Set-Theoretical Kripke-Style Semantics for an Extension of HpsUL, CnHpsUL양은석한국논리학회 · 논리연구2018 · 제21권 제1호