Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops

Archive for Mathematical Logic

Volumn 44, Issue 7, 2005, Pages 869-886

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

^a ARTIFICIAL INTELLIGENCE RESEARCH INSTITUTE IIIA CSIC   (Spain)

^b UNIVERSITY OF BARCELONA   (Spain)

Author keywords

Algebraizable logics; Bipartite algebras; Cancellative hoops; Disconnected rotation; Filters; IMTL algebras; Local algebras; Many valued logic; MV algebras; Perfect algebras; Prelinear semihoops; Wajsberg hoops

Indexed keywords

EID: 26044437946     PISSN: 09335846     EISSN: 14320665     Source Type: Journal    
DOI: 10.1007/s00153-005-0276-0     Document Type: Article

References (22)

1. Ambrosio, R., Lettieri, A.: A classification of bipartite MV-algebras. Math. Japonica 38 (1), 111-117 (1993)
2. Belluce, L.P., Di Nola, A., Lettieri, A.: Local MV-algebras. Rend. Circ. Mat. Palermo (2) 42, 347-361 (1993)
3. Blok, W.J., Pigozzi, D.: Algebraizable logics. Mem. Amer. Math. Soc. 396, 77 (1989)
4. Burris, S., Sankappanavar, H.P.: A course in Universal Algebra. Springer Verlag, New York, 1981
5. Chang, C.C.: Algebraic analysis of many valued logics. Trans. Amer. Math. Soc. 88, 456-490 (1958)
6. Chang, C.C.: A new proof of the completeness of the Lukasiewicz axioms. Trans. Amer. Math. Soc. 93, 74-80 (1959)
7. Ciabattoni, A., Esteva, F., Godo, L.: T-norm based logics with n-contraction. Neural Network World 5, 441-452 (2002)
8. Cignoli, R., Torrens, A.: Glivenko like theorems in natural expansions of BCK-logic. Mathematical Logic Quarterly 50 (2), 111-125 (2004)
9. Di Nola, A., Liguori, F., Sessa, S.: Using maximal ideals in the classification of MV-algebras. Portugaliae Mathematica 50, 87-102 (1993)
10. Di Nola, A., Sessa, S., Esteva, E., Godo, L., Garcia, P.: The variety generated by perfect BL-algebras: an algebraic approach in a fuzzy logic setting. Ann. Math. Artificial Intelligence 35, 197-214 (2002)
11. Esteva, F., Gispert, J., Godo. L., Montagna, F: On the standard and Rational Completeness of some Axiomatic extensions of Monoidal t-norm Based Logic. Studia Logica 71, 199-226 (2002)
12. Esteva, F., Godo, L.: Monoidal t-norm based Logic: Towards a logic for left-continuous t-norms. Fuzzy Sets and Systems 124, 271-288 (2001)
13. Esteva, F., Godo, L., Hájek, F., Montagna, F.: Hoops and Fuzzy Logic. J. Logic Computat. 13 (4), 531-555 (2003)
14. Fodor, J.: Nilpotent minimum and related connectives for fuzzy logic. Proc. FUZZ-IEEE'95, 1995, pp. 2077-2082
15. Font, J.M., Rodríguez, A.J., Torrens, A.: Wajsberg Algebras. Stochastica VIII (1), 5-31 (1984)
16. Gispert, J.: Axiomatic extensions of the nilpotent minimum logic. Reports on Mathematical Logic 37, 113-123 (2003)
17. Gispert, J., Torrens, A.: An approach to the variety IMTL(3). Mathematics preprint series, Universitat de Barcelona 351, 2004
18. Hájek, P.: Metamathematics of Fuzzy Logic. Trends in Logic, vol. 4 Kluwer, 1998
19. Höhle, U.: Commutative, residuated 1-monoids. In: U. Höhle, P. Klement (eds.), Non-Classical Logics and their Applications to Fuzzy Subsets, Kluwer Acad. Publ., Dordrecht 1995, pp. 53-106
20. Jenei, S.: On the structure of rotation-invariant semigroups. Archive for Mathematical Logic 42, 489-514 (2003)
21. Jenei, S.: How to construct left-continuous triangular norms - state of the art. Fuzzy Sets and Systems 143, 27-45 (2004)
22. Komori, Y.: Super-Lukasiewicz Prepositional Logics. Nagoya Math. J. 83, 119-133 (1981)