Regularity of generalized MV-algebras (Q2725231)

Using the appropriate noncommutative generalization of MV-algebras, in his paper ``Pseudo MV-algebras are intervals of \(l\)-groups'' (to appear), \textit{A. Dvurečenskij} extended to all lattice-ordered groups the present reviewer's categorical equivalence between MV-algebras and Abelian lattice-ordered groups with strong units [\textit{D. Mundici}, J. Funct. Anal. 65, 15-63 (1986; Zbl 0597.46059)]. In the paper under review, the authors prove congruence regularity of the variety of generalized MV-algebras (also known as pseudo MV-algebras) arising from Dvurečenskij's equivalence.