×

zbMATH — the first resource for mathematics

Local pseudo MV-algebras. (English) Zbl 0992.06011
Pseudo MV-algebras are noncommutative extensions of the MV-algebras. Using the functor \(\gamma\) of D. Mundici [J. Funct. Anal. 65, 15-63 (1986; Zbl 0597.46059)], A. Di Nola and A. Lettieri [Stud. Log. 53, 417-432 (1994; Zbl 0812.06010)] proved that perfect MV-algebras and abelian lattice-ordered groups are categorically equivalent. This result is extended by the author proving that a subcategory of the perfect pseudo MV-algebras is equivalent to the category of the lattice-ordered groups.

MSC:
06D35 MV-algebras
06F15 Ordered groups
PDF BibTeX XML Cite
Full Text: DOI