Normal forms and free algebras for some extensions of MTL

Fuzzy Sets and Systems

Volumn 159, Issue 10, 2008, Pages 1131-1152

  Aguzzoli, Stefano ^a   Gerla, Brunella ^b  

^a UNIVERSITY OF MILAN   (Italy)

^b UNIVERSITY OF INSUBRIA   (Italy)

Author keywords

Algebraic semantics; Free algebras; MTL; Nilpotent minimum and G del logic; Normal forms; WNM

Indexed keywords

COMBINATORIAL MATHEMATICS; EMBEDDED SYSTEMS; FUZZY SETS; OPTIMIZATION; SEMANTICS;

ALGEBRAIC SEMANTICS; FREE ALGEBRAS; NILPOTENT MINIMUM AND GODEL LOGIC; NORMAL FORMS;

BOOLEAN ALGEBRA;

EID: 40949121580     PISSN: 01650114     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.fss.2007.12.003     Document Type: Article

References (23)

1. S. Aguzzoli, M. Busaniche, V. Marra, Spectral duality for finitely generated nilpotent minimum algebras with applications, J. Logic Comput. 17 (2007) 749-766.
2. S. Aguzzoli, O. D'Antona, V. Marra, Algorithms in Gödel propositional logics, in preparation.
3. S. Aguzzoli, B. Gerla, Comparing the expressive power of some fuzzy logics based on residatued t-norms, in: Proc. FUZZ-IEEE 06, IEEE Press, New York, 2006, pp. 2012-2019.
4. S. Aguzzoli, B. Gerla, C. Manara, Poset representation for Gödel and nilpotent minimum logics, in: Proc. ECSQARU 2005, Lecture Notes in Artificial Intelligence, Vol. 3571, Springer, Berlin, 2005, pp. 662-674.
5. S. Aguzzoli, B. Gerla, C. Manara, Structure of the algebras of NMG-formulas, in: Proc. IPMU 2006, 2006, pp. 1620-1627.
6. Baaz M., and Veith H. Interpolation in fuzzy logic. Arch. Math. Logic 38 (1999) 461-489
7. Busaniche M. Free nilpotent minimum algebras. Math. Log. Quart. 52 (2006) 219-236
8. Cintula P., and Metcalfe G. Normal forms for fuzzy logics: a proof-theoretic approach. Arch. Math. Logic 46 (2007) 347-363
9. D'Antona O., and Marra V. Computing coproducts of finitely presented Gödel algebras. Ann. Pure Appl. Logic 142 (2006) 202-211
10. Davey B., and Priestley H. Introduction to Lattices and Order (1991), Cambridge University Press, Cambridge
11. Esteva F., and Godo L. Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Sets and Systems 124 (2001) 271-288
12. Esteva F., Godo L., Hájek P., and Montagna F. Hoops and fuzzy logic. J. Logic Comput. 13 (2003) 531-555
13. J. Fodor, Nilpotent minimum and related connectives for fuzzy logic, in: Proc. FUZZ-IEEE, IEEE Press, New York, 1995, pp. 2077-2082.
14. Gerla B. A note on functions associated with Gödel formulas. Soft Comput. 4 (2000) 206-209
15. Gödel K. Zum intuitionistischen Aussagenkalkül. Anz. Akad. Wiss. Wien Math.-Natur. Kl. 69 (1932) 65-66
16. Hájek P. Metamathematics of Fuzzy Logic (1998), Kluwer, Dordrecht
17. Horn A. Free L-algebras. J. Symbolic Logic 34 (1969) 475-480
18. Jenei S., and Montagna F. A proof of standard completeness of Esteva and Godo's logic MTL. Studia Logica 70 (2002) 183-192
19. C. Noguera, Algebraic study of axiomatic extensions of triangular norm based fuzzy logics, Ph.D. in logic and foundations of mathematics, University of Barcelona, 2006.
20. C. Noguera, F. Esteva, J. Gispert, On triangular norm based axiomatic extensions of the Weak Nilpotent Minimum logic, Math. Logic. Quart., to appear.
21. C. Noguera, F. Esteva, J. Gispert, On varieties generated by Weak Nilpotent Minimum t-norms, in: Proc. Fourth EUSFLAT, Barcelona, 2005, pp. 866-871.
22. Wang S., Wang B., and Pei D. A fuzzy logic for an ordinal sum t-norm. Fuzzy Sets and Systems 149 (2005) 297-307
23. Wang S., Wang B., and Wang X. A characterization of truth-functions in the nilpotent minimum logic. Fuzzy Sets and Systems 145 (2004) 253-266