Abstract
We investigate the class of abelian ℓ-groups with strong unit corresponding to perfect MV-algebras via the Γ functor, showing that this is a universal subclass of the class of all abelian ℓ-groups with strong unit and describing the formulas that axiomatize it. We further describe results for classes of abelian ℓ-groups with strong unit corresponding to local MV-algebras with finite rank.
Similar content being viewed by others
References
Belluce, L.P., Di Nola, A., Gerla, B.: Perfect MV-algebras and their logic. Appl. Categ. Struct. 15, 135–151 (2007)
Belluce L.P.: Semisimple algebras of infinite-valued logic. Can. J. Math. 38, 1356–1379 (1986)
Belluce, L.P.: The going up and going down theorems in MV-algebras and Abelian ℓ-groups. J. Math. Anal. Appl. 241, 92–106 (2000)
Belluce, L.P., Chang, C.C.: A weak completeness theorem for infinite valued predicate logic. J. Symb. Log. 28, 43–50 (1963)
Belluce, L.P., Di Nola, A.: The MV-algebra of first order Łukasiewicz logic. General algebra and ordered sets. Tatra Mt. Math. Publ. 27, 7–22 (2003)
Chang, C.C.: Algebraic analysis of many valued logics. Trans. Am. Math. Soc. 88, 467–490 (1958)
Cignoli, R., D’Ottaviano, I., Mundici, D.: Algebraic foundations of many-valued reasoning. In: Trends in Logic, vol. 7. Kluwer, Dordrecht (2000)
Darnel, M.L.: Theory of Lattice-ordered Groups. Dekker, New York (1994)
Di Nola, A., Esposito, I., Gerla, B.: Local MV-algebras in the representation of MV-algebras. Algebra Univers. 56 133–164 (2007)
Di Nola, A.: Representation and reticulation by quotients of MV-algebras. Ric. Mat. XL, 291–297 (1991)
Di Nola, A., Lettieri, A.: Perfect MV-algebras are categorically equivalent to Abelian ℓ-groups. Stud. Log. 53, 417–432 (1994)
Di Nola, A., Lettieri, A.: Equational characterization of all varieties of MV-algebras. J. Algebra 221, 463–474 (1999)
Flaminio, T.: Strong non-standard completeness for fuzzy logics. Soft Comput. 12, 321–333 (2008)
Hager, A.W., Kimber, C.M.: Uniformly hyperarchimedean lattice-ordered groups. Order 24, 121–131 (2007)
Komori, Y.: Super Łukasiewicz propositional logics. Nagoya Math. J. 84 119–133 (1981)
Mundici, D.: Interpretation of AF C*-algebras in Lukasiewicz sentential calculus. J. Funct Anal. 65, 15–63 (1986)
Scarpellini, B.: Die Nichaxiomatisierbarkeit des unendlichwertigen pradikatenkalkulus von Lukasiewicz. J. Symb. Log. 27, 159–170 (1962)
Torrens, A.: Cyclic elements in MV-algebras and post algebras. Math. Log. Q. 40, 431–444 (1994)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Belluce, L.P., Di Nola, A. & Gerla, B. Abelian ℓ-Groups with Strong Unit and Perfect MV-Algebras. Order 25, 387–401 (2008). https://doi.org/10.1007/s11083-008-9103-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11083-008-9103-7