Kleene-Isomorphic s-Complete MV-Algebras with Product are Isomorphic

R. CIGNOLI, D. MUNDICI, and M. NAVARA

We prove that the Kleene structure in a s-complete MV-algebra with product is sufficient to recover the MV-structure.