On equivalent forms of fuzzy logic systems NM and IMTL

Fuzzy Sets and Systems

Volumn 138, Issue 1, 2003, Pages 187-195

  Pei, Daowu ^a,b  

^a XI'AN JIAOTONG UNIVERSITY   (China)

^b YANCHENG TEACHERS UNIVERSITY   (China)

Author keywords

Equivalent form; Fuzzy logic; Involutive monoidal t norm based logic; Monoidal t norm based logic; Nilpotent minimum logic

Indexed keywords

ALGEBRA; ALGORITHMS;

FUZZY REASONING;

FUZZY SETS;

EID: 0038486922     PISSN: 01650114     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0165-0114(02)00382-2     Document Type: Conference Paper

References (17)

1. Dubois D., Prade H. Fuzzy sets in approximate reasoning, Part 1. Fuzzy Sets and Systems. 40:1991;143-202.
2. Esteva F., Gispert J., Godo L., Montagna F. On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm-based logic. Stud. Logica. 71:2002;393-420.
3. Esteva F., Godo L. Monoidal t-norm-based logic. towards a logic for left-continuous t-norms Fuzzy Sets and Systems. 124:2001;271-288.
4. F. Esteva, L. Godo, On complete residuated many-valued logics with t-norm conjunction, Proc. ISMVL'2001, Warsaw, 2001, pp. 81-86.
5. Fodor J.C. Contrapositive symmetry of fuzzy implications. Fuzzy Sets and Systems. 69:1995;141-156.
6. Gottwald S., Jenei S. A new axiomatization for involutive monoidal t-norm-based logic. Fuzzy Sets and Systems. 124:2001;303-307.
7. Hájek P. Metamathematics of Fuzzy Logic. 1998;Kluwer Academic Publishers, Dordrecht.
8. Klement E.P., Navara M. A survey on different triangular norm-based fuzzy logics. Fuzzy Sets and Systems. 101:1999;241-251.
9. J. Pavelka, On fuzzy logic (I;II;III), Z. Math. Logik Grund. Math. 25 (1979) 45-52, 119-134, 447-464.
10. 0 -algebras J. Fuzzy Math. 9:2001;643-649.
11. 0 implication: characteristics and applications, Fuzzy Sets and Systems, in press.
12. Pei D.W., Wang G.J. The completeness and applications of the formal system. ℒ* Science in China (Series F). 45(1):2002;40-50.
13. Turksen I.B., Kreinovich V., Yager R.R. A new class of fuzzy implications. Axioms of fuzzy implication revisited. Fuzzy Sets and Systems. 100:1998;267-272.
14. Wang G.J. A formal deductive system for fuzzy propositional calculus. Chinese Sci. Bull. 42:1997;1521-1526.
15. Wang G.J. On the logic foundation of fuzzy reasoning. Inform. Sci. 117:1999;47-88.
16. Wang G.J. Non-classical Mathematical Logic and Approximate Reasoning. 2000;Science Press, Beijing. (in Chinese).
17. Wang G.J., Wang H. Non-fuzzy versions of fuzzy reasoning in classical logics. Inform. Sci. 138:2001;211-236.