Abstract
IMTL logic was introduced in [12] as a generalization of the infinitely-valued logic of Lukasiewicz, and in [11] it was proved to be the logic of left-continuous t-norms with an involutive negation and their residua. The structure of such t-norms is still not known. Nevertheless, Jenei introduced in [20] a new way to obtain rotation-invariant semigroups and, in particular, IMTL-algebras and left-continuous t-norm with an involutive negation, by means of the disconnected rotation method. In order to give an algebraic interpretation to this construction, we generalize the concepts of perfect, bipartite and local algebra used in the classification of MV-algebras to the wider variety of IMTL-algebras and we prove that perfect algebras are exactly those algebras obtained from a prelinear semihoop by Jenei's disconnected rotation. We also prove that the variety generated by all perfect IMTL-algebras is the variety of the IMTL-algebras that are bipartite by every maximal filter and we give equational axiomatizations for it.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Ambrosio, R., Lettieri, A.: A classification of bipartite MV-algebras. Math. Japonica 38 (1), 111–117 (1993)
Belluce, L.P., Di Nola, A., Lettieri, A.: Local MV-algebras. Rend. Circ. Mat. Palermo (2) 42, 347–361 (1993)
Blok, W.J., Pigozzi, D.: Algebraizable logics. Mem. Amer. Math. Soc. 396, 77 (1989)
Burris, S., Sankappanavar, H.P.: A course in Universal Algebra. Springer Verlag, New York, 1981
Chang, C.C.: Algebraic analysis of many valued logics. Trans. Amer. Math. Soc. 88, 456–490 (1958)
Chang, C.C.: A new proof of the completeness of the Lukasiewicz axioms. Trans. Amer. Math. Soc. 93, 74–80 (1959)
Ciabattoni, A., Esteva, F., Godo, L.: T-norm based logics with n-contraction. Neural Network World 5, 441–452 (2002)
Cignoli, R., Torrens, A.: Glivenko like theorems in natural expansions of BCK-logic. Mathematical Logic Quarterly 50 (2), 111–125 (2004)
Di Nola, A., Liguori, F., Sessa, S.: Using maximal ideals in the classification of MV-algebras. Portugaliae Mathematica 50, 87–102 (1993)
Di Nola, A., Sessa, S., Esteva, F., 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)
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)
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)
Esteva, F., Godo, L., Hájek, P., Montagna, F.: Hoops and Fuzzy Logic. J. Logic Computat. 13 (4), 531–555 (2003)
Fodor, J.: Nilpotent minimum and related connectives for fuzzy logic. Proc. FUZZ-IEEE'95, 1995, pp. 2077–2082
Font, J.M., Rodríguez, A.J., Torrens, A.: Wajsberg Algebras. Stochastica VIII (1), 5–31 (1984)
Gispert, J.: Axiomatic extensions of the nilpotent minimum logic. Reports on Mathematical Logic 37, 113–123 (2003)
Gispert, J., Torrens, A.: An approach to the variety (3). Mathematics preprint series, Universitat de Barcelona 351, 2004
Hájek, P.: Metamathematics of Fuzzy Logic. Trends in Logic, vol. 4 Kluwer, 1998
Höhle, U.: Commutative, residuated l-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
Jenei, S.: On the structure of rotation-invariant semigroups. Archive for Mathematical Logic 42, 489–514 (2003)
Jenei, S.: How to construct left-continuous triangular norms – state of the art. Fuzzy Sets and Systems 143, 27–45 (2004)
Komori, Y.: Super-Lukasiewicz Propositional Logics. Nagoya Math. J. 83, 119–133 (1981)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Noguera, C., Esteva, F. & Gispert, J. Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops. Arch. Math. Logic 44, 869–886 (2005). https://doi.org/10.1007/s00153-005-0276-0
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-005-0276-0