Abelian \(\ell\)-groups with strong unit and perfect MV-algebras (Q1013998)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Abelian \(\ell\)-groups with strong unit and perfect MV-algebras |
scientific article |
Statements
Abelian \(\ell\)-groups with strong unit and perfect MV-algebras (English)
0 references
24 April 2009
0 references
In his paper [J. Funct. Anal. 65, 15--63 (1986; Zbl 0597.46059)], the present reviewer established a categorical equivalence \(\Gamma\) between MV-algebras and unital lattice-ordered abelian groups. MV-algebras stand to Boolean algebras as infinite-valued Łukasiewicz logic stands to Boolean logic. They were introduced in 1958 by C. C. Chang to prove the completeness theorem for Łukasiewicz infinite-valued propositional logic. By definition, perfect MV-algebras are generated by their radical. They were more recently introduced by Belluce, Di Nola and B. Gerla, and shown to be categorically equivalent to lattice-ordered abelian groups. In the present paper, the authors describe the \(\Gamma\)-correspondents of perfect MV-algebras and of local MV-algebras with finite rank.
0 references
order-unit
0 references
perfect MV-algebras
0 references
lattice-ordered abelian groups
0 references
local MV-algebras
0 references