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

키워드

참고문헌 (27)

1. Cintula, P, "Weakly Implicative (Fuzzy) Logics I: Basic properties", Archive for Mathematical Logic, 45, pp.673~704 (2006)
2. Cintula, P., "Non-associative substructural logics and their semilinear extensions:axiomatization and completeness properties", Review of Symbol. Logic, 12, pp.394~423 (2013)
3. Cintula, P., "Mathematical Fuzzy Logic" (2015), Springer
4. Cintula, P, "A general framework for mathematical fuzzy logic, Handbook of Mathematical Fuzzy Logic, vol 1", pp.103~207 (2011), College publications
5. Diaconescu, D, "On the forcing semantics for monoidal t-norm based logic", Journal of Universal Computer Science, 13, pp.1550~1572 (2007)
6. Esteva, F, "Monoidal t-norm based logic:towards a logic for left-continuous t-norms", Fuzzy Sets and Systems, 124, pp.271~288 (2001)
7. Galatos, N., "Residuated lattices: an algebraic glimpse at substructural logics" (2007), Elsevier
8. 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)
9. Kripke, S., "Formal systems and Recursive Functions", pp.92~129 (1965), North-Holland Publ. Co
10. Kripke, S., "The theory of models", pp.206~220 (1965), North-Holland Publ. Co
11. Metcalfe, G., "Substructural Fuzzy Logics", Journal of Symbolic Logic, 72, pp.834~864 (2007)
12. Montagna, F, "Kripke semantics, undecidability and standard completeness for Esteva and Godo's Logic MTL∀", Studia Logica, 71, pp.227~245 (2002)
13. Montagna, F, "Kripke-style semantics for many-valued logics", Mathematical Logic Quaterly, 49, pp.629~641 (2003)
14. Montagna, F, "Corrigendum to “Kripke-style semantics for many-valued logics", Mathematical Logic Quaterly, 50, pp.104~107 (2004)
15. 양은석, "Non-associative fuzzy-relevance logics: strong t-associative monoidal uninorm logics", 논리연구, 12(1), pp.89~110 (2009), 한국논리학회
16. 양은석, "Kripke-style Semantics for UL", 논리연구, 15(1), pp.1~15 (2012), 한국논리학회[DOI]
17. 양은석, "Algebraic Kripke-style semantics for weakening-free fuzzy logics", 논리연구, 17(1), pp.181~195 (2014), 한국논리학회[DOI]
18. Yang, E, "Algebraic Kripke-style semantics for relevance logics", Journal of Philosophical Logic, 43, pp.803~826 (2014)
19. Yang, E., "Weakening-free, non-associative fuzzy logics:micanorm-based logics", Fuzzy Sets and Systems, 276, pp.43~58 (2015)
20. 양은석, "Some Axiomatic Extensions of the Involutive Micanorm Logic IMICAL", 논리연구, 18(2), pp.197~215 (2015), 한국논리학회[DOI]
21. 양은석, "Algebraic Kripke-style semantics for substructural fuzzy logics", 논리연구, 19(2), pp.295~322 (2016), 한국논리학회[DOI]
22. 양은석, "Weakly associative fuzzy logics", 논리연구, 19(3), pp.437~461 (2016), 한국논리학회[DOI]
23. Yang, E., "Basic substructural core fuzzy logics and their extensions: Mianorm-based logics", Fuzzy Sets and Systems, 276, pp.43~58 (2016)
24. Yang, E., "Involutive basic substructural core fuzzy logics:Involutive mianorm-based logics", Fuzzy Sets and Systems, 320, pp.1~16 (2017)
25. Yang, E, "A non-associative generalization of continuous t-norm-based logics", Journal of Intelligent & Fuzzy Systems, 33, pp.3743~3752 (2017)
26. 양은석, "Set-Theoretical Kripke-Style Semantics for an Extension of HpsUL, CnHpsUL", 논리연구, 21(1), pp.39~57 (2018), 한국논리학회[DOI]
27. 양은석, "Algebraic Kripke-Style Semantics for Weakly Associative Fuzzy Logics", 논리연구, 21(2), pp.155~173 (2018), 한국논리학회[DOI]

관련 논문AI추천