Fuzzy R Systems and Algebraic Routley-Meyer Semantics
0
조회
0
다운로드
1
인용
0
참고문헌
키워드
초록
Here algebraic Routley-Meyer semantics is addressed for two fuzzy versions of the logic of relevant implication R. To this end, two versions Rt and RT of R and their fuzzy extensions FRt and FRT, respectively, are first discussed together with their algebraic semantics. Next algebraic Routley-Meyer semantics for these two fuzzy extensions is introduced. Finally, it is verified that these logics are sound and complete over the semantics.
Abstract
Here algebraic Routley-Meyer semantics is addressed for two fuzzy versions of the logic of relevant implication R. To this end, two versions Rt and RT of R and their fuzzy extensions FRt and FRT, respectively, are first discussed together with their algebraic semantics. Next algebraic Routley-Meyer semantics for these two fuzzy extensions is introduced. Finally, it is verified that these logics are sound and complete over the semantics.
참고문헌 (19)
- 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)
- 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., "Handbook of Philosophical Logic vol III", pp.117~224 (1986), Reidel Publ. Co
- Fine, K, "Models for entailment", Journal of Philosophical Logic, 3, pp.347~372 (1974)
- Meyer, R. K., "Completeness of relevant quantification theories", Notre Dame Journal of Formal Logic, 15, pp.97~121 (1976)
- Routley, R, "The semantics of entailment (II)", Journal of Philosophical Logic, 1, pp.53~73 (1972)
- Routley, R, "The semantics of entailment (Ⅲ)", Journal of Philosophical Logic, 1, pp.192~208 (1972)
- Routley, R, "The semantics of entailment (I)", pp.199~243 (1973), North-Holland Publ. Co
- 양은석, "Uninorm logic: toward a fuzzy-relevance logic(2)", 논리연구, 11(1), pp.131~156 (2008), 한국논리학회
- 양은석, "Non-associative fuzzy-relevance logics: strong t-associative monoidal uninorm logics", 논리연구, 12(1), pp.89~110 (2009), 한국논리학회
- 양은석, "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)
- 양은석, "Routley-Meyer semantics for R", 논리연구, 18(3), pp.437~456 (2015), 한국논리학회[DOI]
- Yang, E, "Substructural fuzzy-relevance logic", Notre Dame Journal of Formal Logic, 56, pp.471~491 (2015)
- 양은석, "R, Fuzzy R, and Set-Theoretic Kripke-Style Semantics", 논리연구, 22(2), pp.291~307 (2019), 한국논리학회[DOI]
- Yang, E., "Algebraic relational semantics for basic substructural logics", Logique et Analyse, 252, pp.415~441 (2020)
- Yang, E., "Basic core fuzzy logics and algebraic Routley-Meyer-style semantics", Axioms, 10(4), pp.273~ (2021)