Browse > Article

Algebraic Routley-Meyer-style semantics for the fuzzy logic MTL  

Yang, Eunsuk (Department of Philosophy & Institute of Critical Thinking and Writing, Chonbuk National University)
Publication Information
Korean Journal of Logic / v.21, no.3, 2018 , pp. 353-371 More about this Journal
Abstract
This paper deals with Routley-Meyer-style semantics, which will be called algebraic Routley-Meyer-style semantics, for the fuzzy logic system MTL. First, we recall the monoidal t-norm logic MTL and its algebraic semantics. We next introduce algebraic Routley-Meyer-style semantics for it, and also connect this semantics with algebraic semantics.
Keywords
(Algebraic) Routley-Meyer-style semantics; Kripke-style semantics; Algebraic semantics; Fuzzy logic; Substructural logic;
Citations & Related Records
연도 인용수 순위
  • Reference
1 Cintula, P. (2006) "Weakly Implicative (Fuzzy) Logics I: Basic properties", Archive for Mathematical Logic, 45, pp. 673-704.   DOI
2 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.
3 Galatos, N., Jipsen, P., Kowalski, T., and Ono, H. (2007), Residuated lattices: an algebraic glimpse at substructural logics, Amsterdam, Elsevier.
4 Hajek, P. (1998), Metamathematics of Fuzzy Logic, Amsterdam, Kluwer.
5 Jenei, S and Montagna, F. (2002), "A Proof of Standard completeness for Esteva and Godo's Logic MTL", Studia Logica, 70, pp. 183-192.   DOI
6 Kripke, S. (1963). "Semantic analysis of modal logic I: normal modal propositional calculi", Zeitschrift für mathematische Logik und Grundlagen der Mathematik 9, pp. 67-96.   DOI
7 Kripke, S. (1965a) "Semantic analysis of intuitionistic logic I", in J. Crossley and M. Dummett (eds.) Formal systems and Recursive Functions, Amsterdam: North-Holland Publ Co, pp. 92-129.
8 Kripke, S. (1965b) "Semantic analysis of modal logic II", in J. Addison, L. Henkin, and A. Tarski (eds.) The theory of models, Amsterdam: North-Holland Publ Co, pp. 206-220.
9 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
10 Montagna, F. and Sacchetti, L. (2003) "Kripke-style semantics for many-valued logics", Mathematical Logic Quaterly, 49, pp. 629-641.   DOI
11 Montagna, F. and Sacchetti, L. (2004) "Corrigendum to "Kripke-style semantics for many-valued logics", Mathematical Logic Quaterly, 50, pp. 104-107.   DOI
12 Urquhart, A. (1986) "Many-valued logic". in D. Gabbay and F. Guenthner (eds.) Handbook of Philosophical Logic, vol. 3, Dordrecht: Reidel Publ Co, pp. 71-116.
13 Yang, E. (2014a) "Algebraic Kripke-style semantics for weakening-free fuzzy logics", Korean Journal of Logic, 17 (1), pp. 181-195.
14 Yang, E. (2014b) "Algebraic Kripke-style semantics for relevance logics", Journal of Philosophical Logic, 43, pp. 803-826.   DOI
15 Yang, E. (2016c) "Basic substructural core fuzzy logics and their extensions: Mianorm-based logics", Fuzzy Sets and Systems 276, pp. 43-58.
16 Yang, E. (2014c) "Algebraic Kripke-style semantics for three-valued paraconsistent logic", Korean Journal of Logic, 17(3), pp. 441-460.
17 Yang, E. (2016a) "Algebraic Kripke-style semantics for substructural fuzzy logics", Korean Journal of Logic, 19, pp. 295-322.
18 Yang, E. (2016b) "Weakly associative fuzzy logics", Korean Journal of Logic, 19, pp. 437-461.
19 Yang, E. (2017a) "Set-theoretic Kripke-style semantics for involutive monoidal t-norm (based) logics", Fhilosophical Ideas, 55(s), pp. 79-88.
20 Yang, E. (2017b) "A non-associative generalization of continuous t-norm-based logics", Journal of Intelligent & Fuzzy Systems, 33, pp. 3743-3752.   DOI
21 Yang, E. (2018) "Algebraic Kripke-style semantics for weakly associative fuzzy logics", Korean Journal of Logic, 21(2), pp. 155-173.