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

키워드

참고문헌 (21)

1. Cintula, P., "Weakly Implicative (Fuzzy) Logics I: Basic properties", Archive for Mathematical Logic, 45, pp.673~704 (2006)
2. Diaconescu, D., "On the forcing semantics for monoidal t-norm based logic", Journal of Universal Computer Science, 13, pp.1550~1572 (2007)
3. Galatos, N., "Residuated lattices: an algebraic glimpse at substructural logics" (2007), Elsevier
4. Hájek, P., "Metamathematics of Fuzzy Logic" (1998), Kluwer
5. Jenei, S, "A Proof of Standard completeness for Esteva and Godo's Logic MTL", Studia Logica, 70, pp.183~192 (2002)
6. Kripke, S., "Semantic analysis of modal logic I: normal modal propositional calculi", Zeitschrift für mathematische Logik und Grundlagen der Mathematik, 9, pp.67~96 (1963)
7. Kripke, S., "Formal systems and Recursive Functions", pp.92~129 (1965), North-Holland Publ Co
8. Kripke, S., "The theory of models", pp.206~220 (1965), North-Holland Publ Co
9. Montagna, F., "Kripke semantics, undecidability and standard completeness for Esteva and Godo's Logic MTL∀", Studia Logica, 71, pp.227~245 (2002)
10. Montagna, F., "Kripke-style semantics for many-valued logics", Mathematical Logic Quaterly, 49, pp.629~641 (2003)
11. Montagna, F., "Corrigendum to “Kripke-style semantics for many-valued logics", Mathematical Logic Quaterly, 50, pp.104~107 (2004)
12. Urquhart, A., "Handbook of Philosophical Logic, vol. 3", pp.71~116 (1986), Reidel Publ Co
13. 양은석, "Algebraic Kripke-style semantics for weakening-free fuzzy logics", 논리연구, 17(1), pp.181~195 (2014), 한국논리학회[DOI]
14. Yang, E., "Algebraic Kripke-style semantics for relevance logics", Journal of Philosophical Logic, 43, pp.803~826 (2014)
15. 양은석, "Algebraic Kripke-style Semantics for Three-valued Paraconsistent Logic", 논리연구, 17(3), pp.441~460 (2014), 한국논리학회
16. 양은석, "Algebraic Kripke-style semantics for substructural fuzzy logics", 논리연구, 19(2), pp.295~322 (2016), 한국논리학회[DOI]
17. 양은석, "Weakly associative fuzzy logics", 논리연구, 19(3), pp.437~461 (2016), 한국논리학회[DOI]
18. Yang, E., "Basic substructural core fuzzy logics and their extensions: Mianorm-based logics", Fuzzy Sets and Systems, 276, pp.43~58 (2016)
19. 양은석, "Set-theoretic Kripke-style Semantics for Involutive Monoidal T-norm (Based) Logics", 철학사상, pp.79~88 (2017), 철학사상연구소[DOI]
20. Yang, E., "A non-associative generalization of continuous t-norm-based logics", Journal of Intelligent & Fuzzy Systems, 33, pp.3743~3752 (2017)
21. 양은석, "Algebraic Kripke-Style Semantics for Weakly Associative Fuzzy Logics", 논리연구, 21(2), pp.155~173 (2018), 한국논리학회[DOI]

관련 논문AI추천