1 |
Tsinakis, C. and Blount, K. (2003), "The structure of residuated lattices", International Journal of Algebra and Computation 13: pp. 437-461.
DOI
|
2 |
Wang, S. (2013) "Logics for residuated pseudo-uninorms and their residua", Fuzzy Sets and Systems 218: pp. 24-31.
DOI
|
3 |
Wang, S. and Zhao, B. (2009), "HpsUL is not the logic of pseudo-uninorms and their residua", Logic Journal of the IGPL 17: pp. 413-419.
DOI
|
4 |
Yang, E. (2012), "Kripke-style semantics for UL", Korean Journal of Logic 15 (1): pp. 1-15.
|
5 |
Yang, E. (2014a), "Algebraic Kripke-style semantics for weakening-free fuzzy logics", Korean Journal of Logic 17: pp. 181-195.
|
6 |
Yang, E. (2014b), "Algebraic Kripke-style semantics for three-valued paraconsistent logic", Korean Journal of Logic 17: pp. 441-460.
|
7 |
Yang, E. (2015a), "Set-theoretic Kripke-style semantics for three-valued paraconsistent logic", Korean Journal of Logic 18: pp. 65-82.
|
8 |
Yang, E. (2015b), "Two kinds of (binary) Kripke-style semantics for three-valued logic", Logique et Analyse 231: pp. 379-396.
|
9 |
Yang, E. (2016), "Algebraic Kripke-style semantics for an extension of HpsUL, CnHpsUL*", Korean Journal of Logic 19: pp. 107-126.
|
10 |
Cintula, P. (2006), "Weakly Implicative (Fuzzy) Logics I: Basic properties", Archive for Mathematical Logic 45: pp. 673-704.
DOI
|
11 |
Diaconescu, D. (2010), "Kripke-style semantics for non-commutative monoidal t-norm logic", Journal of Multiple-Valued Logic and Soft Computing 16: pp. 247-263.
|
12 |
Cintula, P., Horcik, R., and Noguera, C. (2013), "Non-associative substructural logics and their semilinear extensions: axiomatization and completeness properties", Review of Symbolic Logic 6: pp. 394-423.
DOI
|
13 |
Cintula, P., Horcik, R., and Noguera, C. (2015), "The quest for the basic fuzzy logic", in F. Montagna (ed.) Petr Hajek on Mathematical Fuzzy Logic, Dordrecht: Springer, pp. 245-290.
|
14 |
Cintula, P. and Noguera, C. (2011), A general framework for mathematical fuzzy logic, in P. Cintula, P. Hájek, and C. Noguera (eds.) Handbook of Mathematical Fuzzy Logic, vol 1, London: College publications, pp. 103-207.
|
15 |
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.
|
16 |
Esteva, F. and Godo, L. (2001), "Monoidal t-norm based logic: towards a logic for left-continuous t-norms", Fuzzy Sets and Systems 124: pp. 271-288.
DOI
|
17 |
Hajek, P. (2003a), "Fuzzy logics with noncommutative conjunction", Journal of Logic and Computation 13: pp. 469-479.
DOI
|
18 |
Hajek, P. (2003b), "Observations on non-commutative fuzzy logic", Soft Computing 8: pp. 38-43.
DOI
|
19 |
Metcalfe, G. and Montagna, F. (2007), "Substructural Fuzzy Logics", Journal of Symbolic Logic 72: pp. 834-864.
DOI
|
20 |
Metcalfe, G., Olivetti, N., and Gabbay, D. (2009), Proof Theory for Fuzzy Logics, Springer.
|
21 |
Montagna, F. and Sacchetti, L. (2004), "Corrigendum to "Kripke-style semantics for many-valued logics", Mathematical Logic Quaterly 50: pp. 104-107.
DOI
|
22 |
Montagna, F. and Ono, H. (2002), "Kripke semantics, undecidability and standard completeness for Esteva and Godo's Logic ", Studia Logica 71: pp. 227-245.
DOI
|
23 |
Montagna, F. and Sacchetti, L. (2003), "Kripke-style semantics for many-valued logics", Mathematical Logic Quaterly 49: pp. 629-641.
DOI
|