Algebraic Kripke-Style Semantics for Weakly Associative Fuzzy Logics

키워드

참고문헌 (23)

1. Cintula, P., "Non-associative substructural logics and their semilinear extensions : axiomatization and completeness properties", Review of Symbol. Logic, 12, pp.394~423 (2013)
2. Cintula, P., "Mathematical Fuzzy Logic" (2015), Springer
3. Cintula, P., "A general framework for mathematical fuzzy logic, Handbook of Mathematical Fuzzy Logic, vol 1", pp.103~207 (2011), College publications
4. Galatos, N., "Residuated lattices: an algebraic glimpse at substructural logics" (2007), Elsevier
5. Horĉík, R., "Algebraic semantics: semilinear FL-algebras, Handbook of Mathematical Fuzzy Logic, vol 1", pp.283~353 (2011), College publications
6. Kripke, S., "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. 양은석, "Non-associative fuzzy-relevance logics: strong t-associative monoidal uninorm logics", 논리연구, 12(1), pp.89~110 (2009), 한국논리학회
13. 양은석, "Kripke-style Semantics for UL", 논리연구, 15(1), pp.1~15 (2012), 한국논리학회[DOI]
14. 양은석, "Algebraic Kripke-style semantics for weakening-free fuzzy logics", 논리연구, 17(1), pp.181~195 (2014), 한국논리학회[DOI]
15. Yang, E., "Algebraic Kripke-style semantics for relevance logics", Journal of Philosophical Logic, 43, pp.803~826 (2014)
16. Yang, E., "Weakening-free, non-associative fuzzy logics: micanorm-based logics", Fuzzy Sets and Systems, 276, pp.43~58 (2015)
17. 양은석, "Some Axiomatic Extensions of the Involutive Micanorm Logic IMICAL", 논리연구, 18(2), pp.197~215 (2015), 한국논리학회[DOI]
18. 양은석, "Algebraic Kripke-style semantics for substructural fuzzy logics", 논리연구, 19(2), pp.295~322 (2016), 한국논리학회[DOI]
19. 양은석, "Weakly associative fuzzy logics", 논리연구, 19(3), pp.437~461 (2016), 한국논리학회[DOI]
20. Yang, E., "Basic substructural core fuzzy logics and their extensions: Mianorm-based logics", Fuzzy Sets and Systems, 276, pp.43~58 (2016)
21. Yang, E., "Involutive basic substructural core fuzzy logics: Involutive mianorm-based logics", Fuzzy Sets and Systems, 320, pp.1~16 (2017)
22. 양은석, "Some axiomatic extensions of the involutive mianorm Logic IMIAL", 논리연구, 20(3), pp.313~333 (2017), 한국논리학회[DOI]
23. Yang, E., "A non-associative generalization of continuous t-norm-based logics", Journal of Intelligent & Fuzzy Systems, 33, pp.3743~3752 (2017)

관련 논문AI추천