Set-Theoretical Kripke-Style Semantics for an Extension of HpsUL, CnHpsUL

키워드

참고문헌 (23)

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 Symbolic Logic, 6, pp.394~423 (2013)
3. Cintula, P., "Petr Hájek on Mathematical Fuzzy Logic", pp.245~290 (2015), Springer
4. Cintula, P., "Handbook of Mathematical Fuzzy Logic, vol 1", pp.103~207 (2011), College publications
5. Diaconescu, D., "Kripke-style semantics for non-commutative monoidal t-norm logic", Journal of Multiple-Valued Logic and Soft Computing, 16, pp.247~263 (2010)
6. Diaconescu, D., "On the forcing semantics for monoidal t-norm based logic", Journal of Universal Computer Science, 13, pp.1550~1572 (2007)
7. Esteva, F., "Monoidal t-norm based logic: towards a logic for left-continuous t-norms", Fuzzy Sets and Systems, 124, pp.271~288 (2001)
8. Hájek, P., "Fuzzy logics with noncommutative conjunction", Journal of Logic and Computation, 13, pp.469~479 (2003)
9. Hájek, P., "Observations on non-commutative fuzzy logic", Soft Computing, 8, pp.38~43 (2003)
10. Metcalfe, G., "Substructural Fuzzy Logics", Journal of Symbolic Logic, 72, pp.834~864 (2007)
11. Metcalfe, G., "Proof Theory for Fuzzy Logics" (2009), Springer
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. Tsinakis, C., "The structure of residuated lattices", International Journal of Algebra and Computation, 13, pp.437~461 (2003)
16. Wang, S, "Logics for residuated pseudo-uninorms and their residua", Fuzzy Sets and Systems, 218, pp.24~31 (2013)
17. Wang, S., "HpsUL is not the logic of pseudo-uninorms and their residua", Logic Journal of the IGPL, 17, pp.413~419 (2009)
18. 양은석, "Kripke-style Semantics for UL", 논리연구, 15(1), pp.1~15 (2012), 한국논리학회[DOI]
19. 양은석, "Algebraic Kripke-style semantics for weakening-free fuzzy logics", 논리연구, 17(1), pp.181~195 (2014), 한국논리학회[DOI]
20. 양은석, "Algebraic Kripke-style Semantics for Three-valued Paraconsistent Logic", 논리연구, 17(3), pp.441~460 (2014), 한국논리학회
21. 양은석, "Set-theoretical Kripke-style semantics for three-valued paraconsistent logic", 논리연구, 18(1), pp.65~82 (2015), 한국논리학회[DOI]
22. Yang, E., "Two kinds of (binary) Kripke-style semantics for three-valued logic", Logique et Analyse, 231, pp.379~396 (2015)
23. 양은석, "Algebraic Kripke-style Semantics for an Extension of HpsUL, CnHpsUL", 논리연구, 19(1), pp.107~126 (2016), 한국논리학회[DOI]

관련 논문AI추천