Skip to main content
SpringerLink
Log in

An Elementary Presentation of the Equivalence Between MV-algebras and l-groups With Strong Unit

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

Aim of this paper is to provide a self-contained presentation of the natural equivalence Γ between MV-algebras and lattice-ordered abelian groups with strong unit.

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. Chang, C. C., ‘Algebraic analysis of many-valued logics’, Trans. Amer. Math. Soc. 88 (1958), 467–490.

    Google Scholar 

  2. Chang, C. C., ‘A new proof of the completeness of the Łukasiewicz axioms’, Trans. Amer. Math. Soc 93 (1959), 74–80.

    Google Scholar 

  3. Cignoli, R. and D. Mundici, ‘An elementary proof of Chang's completeness theorem for the infinite-valued calculus of Łukasiewicz’, Studia Logica 58 (1997), 79–97 (special issue on the Mathematical Treatment of Uncertain Information, Ewa Orłowska, Editor).

  4. Cignoli, R. and A. Torrens, ‘The poset of prime ℓ-ideals of an abelian ℓ-group with a strong unit’, Journal of Algebra 184 (1996), 604–612.

    Google Scholar 

  5. Mundici, D., ‘Interpretation of AF C*-algebras in Łukasiewicz sentential calculus’, J. Functional Analysis 65 (1986), 15–63.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Departamento de Matemática Facultad de Ciencias Exactas Ciudad Universitaria, 1428, Buenos Aires, Argentina

    Roberto Cignoli

  2. Department of Computer Science, University of Milan, Via Comelico 39-41, 20135, Milan, Italy

    Daniele Mundici

Authors
  1. Roberto Cignoli
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Daniele Mundici
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Cignoli, R., Mundici, D. An Elementary Presentation of the Equivalence Between MV-algebras and l-groups With Strong Unit. Studia Logica 61, 49–64 (1998). https://doi.org/10.1023/A:1005078213630

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1005078213630

Search

Navigation