On some varieties of MTL-algebras

Logic Journal of the IGPL

Volumn 13, Issue 4, 2005, Pages 443-466

  Noguera, Carles ^a   Esteva, Francesc ^a   Gispert, Joan ^b  

^a ARTIFICIAL INTELLIGENCE RESEARCH INSTITUTE IIIA CSIC   (Spain)

^b UNIVERSITY OF BARCELONA   (Spain)

Author keywords

Algebraic logic; Bipartite algebras; Filters; Fuzzy logics; Glivenko style theorems; IMTL algebras; Local algebras; MTL algebras; Perfect algebras; Radical; Standard algebras; Standard completeness

Indexed keywords

BANDPASS FILTERS; BOOLEAN ALGEBRA; COMPUTER CIRCUITS; FUZZY FILTERS; LINEARIZATION;

ALGEBRAIC LOGIC; BIPARTITE ALGEBRA; FILTER; FUZZY-LOGIC; GLIVENKO-STYLE THEOREM; IMTL-ALGEBRAS; LOCAL ALGEBRA; MTL-ALGEBRAS; PERFECT ALGEBRA; RADICAL; STANDARD ALGEBRA; STANDARD COMPLETENESS;

FUZZY LOGIC;

EID: 31944432632     PISSN: 13670751     EISSN: 13689894     Source Type: Journal    
DOI: 10.1093/jigpal/jzi034     Document Type: Conference Paper

References (30)

1. R. Ambrosio and A. Lettieri. A classification of bipartite MV-algebras, Math. Japonica 38, No. 1 (1993), 111-117.
2. L.P. Belluce, A. Di Nola, A. Lettieri. Local MV-algebras, Rend. Circ. Mat. Palermo (2) 42 (1993), 347-361.
3. W. J. Blok and D. Pigozzi. Algebraizable logics, Mem. Amer. Math. Soc. 396, vol 77, 1989.
4. W. J. Blok and D. Pigozzi. Local Deduction Theorem in Algebraic Logic, Algebraic Logic (Proc. Conf. Budapest 1988) (H. Andreka, J. D. Monk and I. Nemeti Eds.) Colloq. Math. Soc. J. Bolyai 54 (1991) 75-105.
5. S. Burris and H. P. Sankappanavar. A course in Universal Algebra, Springer Verlag, New York, 1981.
6. C.C. Chang. Algebraic analysis of many valued logics, Trans. Amer. Math. Soc. 88 (1958) 456-490.
7. R. Cignoli, F. Esteva, L. Godo and A. Torrens. Basic Fuzzy Logic is the logic of continuous t-norms and their residua, Soft Computing 4 (2000) 106-112.
8. R. Cignoli and A. Torrens. Free algebras in varieties of BL-algebras with a Boolean retract, Algebra universalis 48 (2002) 55-79.
9. R. Cignoli and A. Torrens. Glivenko like theorems in natural expansions of BCK-logic. Mathematical Logic Quarterly 50(2) (2004) 111-125.
10. A. Di Nola, F. Esteva, L. Godo and F. Montagna. Varieties of BL-algebras. To appear at Soft Computing in a special issue on BL logic.
11. A. Di Nola, F. Liguori and S. Sessa. Using maximal ideals in the classification of MV-algebras, Portugaliae Mathematica 50 (1993) 87-102.
12. A. Di Nola, S. Sessa, F. Esteva, L. Godo and P. Garcia. The variety generated by perfect BL-algebras: An algebraic approach in a fuzzy logic setting, Annals of Mathematics and Artificial Intelligence 35 (2002) 197-214.
13. F. Esteva, J. Gispert, L. Godo and F. Montagna. On the standard and Rational Completeness of some Axiomatic extensions of Monoidal t-norm Based Logic, Studia Logica 71 (2002) 199-226.
14. F. Esteva and L. Godo. Monoidal t-norm based Logic: Towards a logic for left-continuous t-norms, Fuzzy Sets and Systems 124 (2001) 271-288.
15. F. Esteva, L. Godo, P. Hájek, F. Montagna. Hoops and Fuzzy Logic, J. Logic Computat., Vol. 13 No. 4 (2003) 531-555.
16. J. Fodor. Nilpotent minimum and related connectives for fuzzy logic, Proc. FUZZ-IEEE'95, 1995, pp. 2077-2082.
17. J. M. Font, A. J. Rodríguez, A. Torrens. Wajsberg Algebras, Stochastica Vol. VIII, 1 (1984) 5-31.
18. A. García-Cerdaña, C. Noguera and F. Esteva. On the scope of some formulas defining additive connectives in fuzzy logics, Fuzzy Sets and Systems. Available online.
19. J. Gispert. Axiomatic extensions of the nilpotent minimum logic, Reports on Mathematical Logic 37 (2003) 113-123.
20. J. Gispert, A. Torrens. Axiomatic extensions of IMTL3 logic. To appear at Studia Logica.
21. P. Hájek. Metamathematics of Fuzzy Logic, Trends in Logic vol. 4, Kluwer, 1998.
22. U. Höhle. Commutative, residuated l-monoids. In Höhle, U. and Klement. E.P. eds., Non-Classical Logics and Their Applications to Fuzzy Subsets, Kluwer Acad. Publ., Dordrecht (1995) 55-106.
23. R. Horcik. Standard Completeness Theorem for IIMTL, Archive for Mathematical Logic. Available online.
24. H. Horcik. Structure of Commutative Cancellative Residuated Lattices in (0,1]. Submitted.
25. S. Jenei. On the structure of rotation-invariant semigroups, Archive for Mathematical Logic, 42 (2003), 489-514.
26. S. Jenei and F. Montagna. A proof of standard completeness for Esteva and Godo's logic MTL, Studia Logica 70 (2002) 183-192.
27. S. Jenei and F. Montagna. A general method for constructing left-continuous t-norms, Fuzzy Sets and Systems 136 (2003) 263-282.
28. S. Mac Lane. Categories for the Working Mathematician, Ed. Springer-Verlag, New York Heidelberg Berlin, 1971.
29. C. Noguera, F. Esteva and J. Gispert. Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops. To appear at Archive for Mathematical Logic.
30. S. Sessa and E. Turunen. Local BL-algebras, Mult. Valued Logic 6 (2001) 229-249.