-
1
-
-
0000817320
-
Basic fuzzy logic is the logic of continuous t-norms and their residua
-
R. Cignoli, F. Esteva, L. Godo, A. Torrens, Basic fuzzy logic is the logic of continuous t-norms and their residua, Soft Comput. 4 (2000) 106-112.
-
(2000)
Soft Comput.
, vol.4
, pp. 106-112
-
-
Cignoli, R.1
Esteva, F.2
Godo, L.3
Torrens, A.4
-
2
-
-
0035900861
-
The L∏ and L∏1/2 prepositional and predicate logics
-
P. Cintula, The L∏ and L∏1/2 prepositional and predicate logics, Fuzzy Sets and Systems 124 (2001) 289-302.
-
(2001)
Fuzzy Sets and Systems
, vol.124
, pp. 289-302
-
-
Cintula, P.1
-
3
-
-
0035900852
-
Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
-
F. Esteva, L. Godo, Monoidal t-norm based logic: towards a logic for left-continuous t-norms, Fuzzy Sets and Systems 124 (2001) 271-288.
-
(2001)
Fuzzy Sets and Systems
, vol.124
, pp. 271-288
-
-
Esteva, F.1
Godo, L.2
-
4
-
-
0035606240
-
The L∏ and L∏1/2 logics: Two complete fuzzy systems joining Łukasiewicz and Product Logics
-
F. Esteva, L. Godo, F. Montagna, The L∏ and L∏1/2 logics: two complete fuzzy systems joining Łukasiewicz and Product Logics, Arch. Math. Logic 40 (2001) 39-67.
-
(2001)
Arch. Math. Logic
, vol.40
, pp. 39-67
-
-
Esteva, F.1
Godo, L.2
Montagna, F.3
-
5
-
-
0002118960
-
Contrapositive symmetry of fuzzy implications
-
J.C. Fodor, Contrapositive symmetry of fuzzy implications, Fuzzy Sets and Systems 69 (1995) 141-156.
-
(1995)
Fuzzy Sets and Systems
, vol.69
, pp. 141-156
-
-
Fodor, J.C.1
-
7
-
-
39749111349
-
A proof of standard completeness for Esteva and Godo's logic MTL
-
S. Jenei, F. Montagna, A proof of standard completeness for Esteva and Godo's logic MTL, Stud. Logic. 70 (2002) 183-192.
-
(2002)
Stud. Logic
, vol.70
, pp. 183-192
-
-
Jenei, S.1
Montagna, F.2
-
8
-
-
0001409897
-
A survey on different triangular norm-based fuzzy logics
-
E.P. Klement, M. Navara, A survey on different triangular norm-based fuzzy logics, Fuzzy Sets and Systems 101 (2) (1999) 241-251.
-
(1999)
Fuzzy Sets and Systems
, vol.101
, Issue.2
, pp. 241-251
-
-
Klement, E.P.1
Navara, M.2
-
9
-
-
0042905373
-
Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL∀
-
F. Montagna, H. Ono, Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL∀, Stud. Logic. 71 (2002) 227-245.
-
(2002)
Stud. Logic.
, vol.71
, pp. 227-245
-
-
Montagna, F.1
Ono, H.2
-
10
-
-
0032641460
-
On the logic foundation of fuzzy reasoning
-
G.-J. Wang, On the logic foundation of fuzzy reasoning, Inform. Sci. 117 (1999) 47-88.
-
(1999)
Inform. Sci.
, vol.117
, pp. 47-88
-
-
Wang, G.-J.1
-
11
-
-
0037449122
-
A triangular norm-based propositional fuzzy logic
-
S.-M. Wang, B.-S. Wang, G.-J. Wang, A triangular norm-based propositional fuzzy logic, Fuzzy Sets and Systems 136 (1) (2003) 55-70.
-
(2003)
Fuzzy Sets and Systems
, vol.136
, Issue.1
, pp. 55-70
-
-
Wang, S.-M.1
Wang, B.-S.2
Wang, G.-J.3
|