A triangular norm-based fuzzy predicate logic

Fuzzy Sets and Systems

Volumn 138, Issue 1, 2003, Pages 177-186

  Wang, San Min ^a   Wang, Bao Shu ^a   Wang, Guo Jun ^b  

^a XIDIAN UNIVERSITY   (China)

^b SHAANXI NORMAL UNIVERSITY   (China)

Author keywords

Completeness; Formal system K *; Non classical logics; Triangular norm

Indexed keywords

FORMAL LOGIC; FUZZY CONTROL; SEMANTICS;

AXIOMATIZATION;

FUZZY SETS;

EID: 0038148232     PISSN: 01650114     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0165-0114(02)00376-7     Document Type: Conference Paper

References (20)

1. 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.
2. Fodor J.C. Contrapositive symmetry of fuzzy implications. Fuzzy Sets and Systems. 69:1995;141-156.
3. Hájek P. Metamathematics of Fuzzy Logic. 1998;Kluwer, Dordrecht.
4. Horn A. Free. L -algebras J. Symbolic Logic. 34:1969;475-480.
5. Horn A. Logic with truth values in a linearly ordered Heyting algebra. J. Symbolic Logic. 34:1969;395-408.
6. Hrbacek K., Jech T. Introduction to Set Theory. 1978;Marcel Dekker, New York.
7. Klement E.P., Navara M. A survey on different triangular norm-based fuzzy logics. Fuzzy Sets and Systems. 101(2):1999;241-251.
8. Menu J., Pavelka J. A note on tensor products on the unit interval. Comment Math. Univ. Carolin. 17:1976;71-82.
9. Montagna F. Three complexity problems in quantified fuzzy logic. Studia Logica. 68(1):2001;143-152.
10. V. Novák, On the syntactico-semantical completeness of first-order fuzzy logic I, II, Kybernetika 26 (1990) 26-47,134-152.
11. D.W. Pei, On the strict logic foundation of fuzzy reasoning, Soft Computing, accepted.
12. Perny P., Roy B. The use of fuzzy outranking relations in preference modelling. Fuzzy Sets and Systems. 49:1992;33-53.
13. Rose A., Rosser J.B. Fragment of many-valued statement calculi. Trans. Amer. Math. Soc. 87:1958;1-53.
14. Scarpellini B. Die Nichtaxiomatisierbarkeit des unendlichwertigen Prädikatenkalküls von Lukasiewicz. J. Symbolic Logic. 27:1962;159-170.
15. Turunen E. Mathematics Behind Fuzzy Logic. 1999;Physica-Verlag, Wurzburg.
16. Wang G.J. A formal deductive system for fuzzy propositional calculus. Chinese Sci. Bull. 42:1997;1521-1526.
17. Wang G.J. The full implicational triple I method for fuzzy reasoning. Sci. China Ser. E. 42:1999;43-53. (in Chinese).
18. Wang G.J. Non-Classical Mathematical Logic and Approximate Reasoning. 2000;Science Press, Beijing. (in Chinese).
19. Wang G.J. Triple I method and interval valued fuzzy reasoning. Sci. China Ser. E. 43:2000;242-253.
20. S.M. Wang, G.J. Wang, A triangular norm-based propositional fuzzy logic, Fuzzy Sets and Systems, in press.