Local pseudo MV-algebras. (English) Zbl 0992.06011

Leuştean, I.

Soft Comput. 5, No. 5, 386-395 (2001).

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.

Reviewer: Salvatore Sessa (Napoli)

MSC:

06D35	MV-algebras
06F15	Ordered groups

Keywords:

MV-algebra; lattice-ordered group