Browse > Article

R, Fuzzy R, and Set-Theoretic Kripke-Style Semantics  

Yang, Eunsuk (Department of Philosophy & Institute of Critical Thinking and Writing, Chonbuk National University)
Publication Information
Korean Journal of Logic / v.22, no.2, 2019 , pp. 291-307 More about this Journal
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.
Keywords
Set-theoretic Kripke-style semantics; Algebraic Kripke-style semantics; Fuzzy logic; R; FR;
Citations & Related Records
Times Cited By KSCI : 4  (Citation Analysis)
연도 인용수 순위
1 Anderson, A. R., and Belnap, N. D. (1975), Entailment: The Logic of Relevance and Necessity, vol 1, Princeton, Princeton Univ. Press.
2 Anderson, A. R., Belnap, N. D., and Dunn, J. M. (1992), Entailment: The Logic of Relevance and Necessity, vol 2, Princeton, Princeton Univ. Press.
3 Cintula, P. (2006), "Weakly Implicative (Fuzzy) Logics I: Basic properties", Archive for Mathematical Logic 45, pp. 673-704.   DOI
4 Cintula, P., Horcik, R., and Noguera, C. (2015), "The quest for the basic fuzzy logic", Mathematical Fuzzy Logic, P. Hajek (Ed.), Springer Press.
5 Cintula, P. and Noguera, C. (2011), A general framework for mathematical fuzzy logic, Handbook of Mathematical Fuzzy Logic, vol 1, P. Cintula, P. Hajek, and C. Noguera (Eds.), London, College publications, pp. 103-207.
6 Dunn, J. M. (1986), "Relevance logic and entailment", Handbook of Philosophical Logic, vol III, D. Gabbay and F. Guenthner (Eds.), Dordrecht, D. Reidel Publ. Co., pp. 117-224.
7 Meyer, R. K., Dunn, J. M., and Leblanc, H. (1976), "Completeness of relevant quantification theories", Notre Dame Journal of Formal Logic 15, pp. 97-121.   DOI
8 Metcalfe, G., and Montagna, F. (2007), "Substructural Fuzzy Logics", Journal of Symbolic Logic, 72, pp. 834-864.   DOI
9 Montagna, F. and Sacchetti, L. (2003) "Kripke-style semantics for many-valued logics", Mathematical Logic Quaterly, 49, pp. 629-641.   DOI
10 Montagna, F. and Sacchetti, L. (2004) "Corrigendum to "Kripke-style semantics for many-valued logics", Mathematical Logic Quaterly, 50, pp. 104-107.   DOI
11 Yang, E. (2012) "R, fuzzy R, and algebraic Kripke-style semantics", Korean Journal of Logic, 15 (2), pp. 207-221.   DOI
12 Yang, E. (2016a) "Algebraic Kripke-style semantics for an extension of HpsUL, CnHpsUL*", Korean Journal of Logic, 19, 107-126.   DOI
13 Yang, E. (2016b) "Algebraic Kripke-style semantics for substructural fuzzy logics", Korean Journal of Logic 19, pp. 295-322.   DOI
14 Yang, E. (2017) "Set-theoretic Kripke-style semantics for involutive monoidal t-norm (based) logics", Journal of Philosophical Ideas 55(s), pp. 79-88.
15 Yang, E. (2018a) "Set-theoretical Kripke-style semantics for an extension of HpsUL, CnHpsUL*", Korean Journal of Logic 21, pp. 39-57.   DOI
16 Yang, E. (2018b) "Algebraic Kripke-style semantics for weakly associative fuzzy logics", Korean Journal of Logic 21, pp. 155-173.   DOI
17 Yang, E. (2019) "Set-theoretic Kripke-style semantics for weakly associative fuzzy logics", Korean Journal of Logic 22, pp. 25-42.   DOI