Browse > Article

Set-theoretic Kripke-style Semantics for Weakly Associative Substructural Fuzzy Logics  

Yang, Eunsuk (Department of Philosophy & Institute of Critical Thinking and Writing, Chonbuk National University)
Publication Information
Korean Journal of Logic / v.22, no.1, 2019 , pp. 25-42 More about this Journal
Abstract
This paper deals with Kripke-style semantics, which will be called set-theoretic Kripke-style semantics, for weakly associative substructural fuzzy logics. We first recall three weakly associative substructural fuzzy logic systems and then introduce their corresponding Kripke-style semantics. Next, we provide set-theoretic completeness results for them.
Keywords
(Set-theoretic) Kripke-style semantics; Relational semantics; Fuzzy logic; Substructural logic; Weakly associative logic;
Citations & Related Records
Times Cited By KSCI : 6  (Citation Analysis)
연도 인용수 순위
1 Cintula, P. (2006), "Weakly Implicative (Fuzzy) Logics I: Basic properties", Archive for Mathematical Logic 45: pp. 673-704.   DOI
2 Cintula, P., Horcik, R., and Noguera, C. (2013), "Non-associative substructural logics and their semilinear extensions: axiomatization and completeness properties", Review of Symbol. Logic, 12, pp. 394-423.   DOI
3 Cintula, P., Horcik, R., and Noguera, C. (2015), "The quest for the basic fuzzy logic", Mathematical Fuzzy Logic, P. Hajek (Ed.), Springer.
4 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.
5 Diaconescu, D. and Georgescu, G. (2007), "On the forcing semantics for monoidal t-norm based logic", Journal of Universal Computer Science 13: pp. 1550-1572.
6 Esteva, F. and Godo, L. (2001), "Monoidal t-norm based logic: towards a logic for left-continuous t-norms", Fuzzy Sets and Systems 124: pp. 271-288.   DOI
7 Galatos, N., Jipsen, P., Kowalski, T., and Ono, H., (2007). Residuated lattices: an algebraic glimpse at substructural logics, Amsterdam, Elsevier.
8 Kripke, S. (1963). "Semantic analysis of modal logic I: normal modal propositional calculi", Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9, pp. 67-96.   DOI
9 Kripke, S. (1965a). "Semantic analysis of intuitionistic logic I", Formal systems and Recursive Functions, J. Crossley and M. Dummett (Eds.), Amsterdam, North-Holland Publ. Co., pp. 92-129.
10 Kripke, S. (1965b). "Semantic analysis of modal logic II", The theory of models, J. Addison, L. Henkin and A. Tarski (Eds.), Amsterdam, North-Holland Publ. Co., pp. 206-220
11 Metcalfe, G., and Montagna, F. (2007), "Substructural Fuzzy Logics", Journal of Symbolic Logic, 72, pp. 834-864.   DOI
12 Montagna, F. and Ono, H. (2002) "Kripke semantics, undecidability and standard completeness for Esteva and Godo's Logic $MTL{\forall}$", Studia Logica, 71, pp. 227-245.   DOI
13 Montagna, F. and Sacchetti, L. (2003) "Kripke-style semantics for many-valued logics", Mathematical Logic Quaterly, 49, pp. 629-641.   DOI
14 Montagna, F. and Sacchetti, L. (2004) "Corrigendum to "Kripke-style semantics for many-valued logics", Mathematical Logic Quaterly, 50, pp. 104-107.   DOI
15 Yang, E. (2009) "Non-associative fuzzy-relevance logics: strong t-associative monoidal uninorm logics", Korean Journal of Logic, 12(1), pp. 89-110.
16 Yang, E. (2012) "Kripke-style semantics for UL", Korean Journal of Logic, 15(1), pp. 1-15.   DOI
17 Yang, E. (2014a) "Algebraic Kripke-style semantics for weakening-free fuzzy logics", Korean Journal of Logic, 17(1), pp. 181-195.   DOI
18 Yang, E. (2014b) "Algebraic Kripke-style semantics for relevance logics", Journal of Philosophical Logic, 43, pp. 803-826.   DOI
19 Yang, E. (2015a) "Weakening-free, non-associative fuzzy logics: micanorm-based logics", Fuzzy Sets and Systems, 276, pp. 43-58.   DOI
20 Yang, E. (2015b) "Some an axiomatic extension of the involutive micanorm logic IMICAL", Korean Journal of Logic, 18(2), pp. 197-215.   DOI
21 Yang, E. (2016a) "Algebraic Kripke-style semantics for substructural fuzzy logics", Korean Journal of Logic 19(2), pp. 295-322.   DOI
22 Yang, E. (2016b) "Weakly associative fuzzy logics", Korean Journal of Logic 19(3), pp. 437-461.   DOI
23 Yang, E. (2016c) "Basic substructural core fuzzy logics and their extensions: Mianorm-based logics", Fuzzy Sets and Systems 276, pp. 43-58.   DOI
24 Yang, E. (2017a) "Involutive basic substructural core fuzzy logics: Involutive mianorm-based logics", Fuzzy Sets and Systems, 320, pp. 1-16.   DOI
25 Yang, E. (2017b) "A non-associative generalization of continuous t-norm-based logics", Journal of Intelligent & Fuzzy Systems 33, pp. 3743-3752.   DOI
26 Yang, E. (2018a) "Set-theoretical Kripke-style semantics for an extension of HpsUL, CnHpsUL*", Korean Journal of Logic 21(1), pp. 39-57.   DOI
27 Yang, E. (2018b) "Algebraic Kripke-style semantics for weakly associative fuzzy logics", Korean Journal of Logic 21(2), pp. 155-173.   DOI