Comparing the expressive power of some fuzzy logics based on residuated t-norms

IEEE International Conference on Fuzzy Systems

Volumn , Issue , 2006, Pages 2012-2019

  Aguzzoli, Stefano ^a   Gerla, Brunella ^b  

^a UNIVERSITY OF MILAN   (Italy)

^b UNIVERSITY OF INSUBRIA   (Italy)

Author keywords

Algebraic semantics; MTL; Nilpotent minimum and g del logic; Normal forms; T norms

Indexed keywords

BOOLEAN ALGEBRA; COMPUTATIONAL COMPLEXITY; NUMERICAL METHODS; SEMANTICS;

ALGEBRAIC SEMANTICS; NILPOTENT MINIMUM AND GÖDEL LOGIC; NORMAL FORMS;

FUZZY LOGIC;

EID: 34250775896     PISSN: 10987584     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/FUZZY.2006.1681979     Document Type: Conference Paper

References (13)

1. S. Aguzzoli, O.M. D'Antona, V. Marra (2006). Algorithms in Gödel prepositional logics. In preparation.
2. S. Aguzzoli, B. Gerla, C. Manara (2005). Poset Representation for Gödel and Nilpotent Minimum Logics. In Proceedings of ECSQARU 2005, vol. 3571 of LNAI, pages 662-674, Springer Verlag.
3. S. Aguzzoli, B. Gerla, C. Manara (2006). Structure of the algebras of NMG formulas, Proceedings of IPMU 2006, to appear.
4. S. Aguzzoli, B. Gerla, Z. Haniková (2005). Complexity issues in Basic Logic. Soft Computing, vol. 9, pages 919-934.
5. M. Baaz, H. Veith (1999). Interpolation in fuzzy logic. Arch. Math. Logic vol. 38, pages 461-489.
6. F. Esteva, L. Godo (2001) Monoidal t norm based logic: towards a logic for left continuous t norms. Fuzzy Sets and Systems, vol. 124, pages 271-288.
7. J. Fodor (1995). Nilpotent minimum and related connectives for fuzzy logic. In Proceedings of FUZZ-IEEE 1995, pages 2077-2082, IEEE Press.
8. B. Gerla (2000). A note on functions associated with Gödel formulas. Soft Computing, vol. 4, pages 206-209.
9. K. Gödel (1932). Zum intuitionistischen Aussagenkalkül. Anzeiger Akademie der Wissenschaften Wien, Math.-naturwissensch. Klasse, vol. 69, pages 65-66.
10. A. Horn (1969). Free L algebras, J. Symbolic Logic, vol. 34, 475-480.
11. S. Jenei, F. Montagna (2002). A proof of standard completeness of Esteva and Godo's logic MTL. Studia Logica, vol. 70, pages 183-192.
12. S.M. Wang, B.S. Wang, D.W. Pei (2005) A fuzzy logic for an ordinal sum t norm. Fuzzy Sets and Systems, vol. 149, pages 297-307.
13. S.M. Wang, B.S. Wang, X.Y. Wang (2004) A characterization of truth functions in the Nilpotent Minimum Logic. Fuzzy Sets and Systems, vol. 145, pages 253-266.