Local pseudo MV-algebras (Q5953516)

Pseudo MV-algebras are noncommutative extensions of the MV-algebras. Using the functor \(\gamma\) of \textit{D. Mundici} [J. Funct. Anal. 65, 15-63 (1986; Zbl 0597.46059)], \textit{A. Di Nola} and \textit{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.