Skip to main content
SpringerLink
Log in

Abelian ℓ-Groups with Strong Unit and Perfect MV-Algebras

  • Published:
Order Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Belluce, L.P., Di Nola, A., Gerla, B.: Perfect MV-algebras and their logic. Appl. Categ. Struct. 15, 135–151 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  2. Belluce L.P.: Semisimple algebras of infinite-valued logic. Can. J. Math. 38, 1356–1379 (1986)

    MATH  MathSciNet  Google Scholar 

  3. Belluce, L.P.: The going up and going down theorems in MV-algebras and Abelian ℓ-groups. J. Math. Anal. Appl. 241, 92–106 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  4. Belluce, L.P., Chang, C.C.: A weak completeness theorem for infinite valued predicate logic. J. Symb. Log. 28, 43–50 (1963)

    Article  MATH  MathSciNet  Google Scholar 

  5. 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)

    MATH  MathSciNet  Google Scholar 

  6. Chang, C.C.: Algebraic analysis of many valued logics. Trans. Am. Math. Soc. 88, 467–490 (1958)

    Article  MATH  Google Scholar 

  7. Cignoli, R., D’Ottaviano, I., Mundici, D.: Algebraic foundations of many-valued reasoning. In: Trends in Logic, vol. 7. Kluwer, Dordrecht (2000)

    Google Scholar 

  8. Darnel, M.L.: Theory of Lattice-ordered Groups. Dekker, New York (1994)

    Google Scholar 

  9. Di Nola, A., Esposito, I., Gerla, B.: Local MV-algebras in the representation of MV-algebras. Algebra Univers. 56 133–164 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  10. Di Nola, A.: Representation and reticulation by quotients of MV-algebras. Ric. Mat. XL, 291–297 (1991)

    MathSciNet  Google Scholar 

  11. Di Nola, A., Lettieri, A.: Perfect MV-algebras are categorically equivalent to Abelian ℓ-groups. Stud. Log. 53, 417–432 (1994)

    Article  MATH  MathSciNet  Google Scholar 

  12. Di Nola, A., Lettieri, A.: Equational characterization of all varieties of MV-algebras. J. Algebra 221, 463–474 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  13. Flaminio, T.: Strong non-standard completeness for fuzzy logics. Soft Comput. 12, 321–333 (2008)

    Article  MATH  Google Scholar 

  14. Hager, A.W., Kimber, C.M.: Uniformly hyperarchimedean lattice-ordered groups. Order 24, 121–131 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  15. Komori, Y.: Super Łukasiewicz propositional logics. Nagoya Math. J. 84 119–133 (1981)

    MATH  MathSciNet  Google Scholar 

  16. Mundici, D.: Interpretation of AF C*-algebras in Lukasiewicz sentential calculus. J. Funct Anal. 65, 15–63 (1986)

    Article  MATH  MathSciNet  Google Scholar 

  17. Scarpellini, B.: Die Nichaxiomatisierbarkeit des unendlichwertigen pradikatenkalkulus von Lukasiewicz. J. Symb. Log. 27, 159–170 (1962)

    Article  MathSciNet  Google Scholar 

  18. Torrens, A.: Cyclic elements in MV-algebras and post algebras. Math. Log. Q. 40, 431–444 (1994)

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, British Columbia University, Vancouver, British Columbia, Canada

    Lawrence P. Belluce

  2. Department of Mathematics and Informatics, University of Salerno, Via S. Allende, 84081, Baronissi, Italy

    Antonio Di Nola

  3. Department of Informatics and Communications, University of Insubria, Via Mazzini 5, 21100, Varese, Italy

    Brunella Gerla

Authors
  1. Lawrence P. Belluce
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Antonio Di Nola
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Brunella Gerla
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Brunella Gerla.

Rights and permissions

Reprints 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

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11083-008-9103-7

Keywords

Search

Navigation