A Stone-Weierstrass theorem for MV-algebras and unital ℓ-groups.

Leonardo Manuel CabrerDaniele Mundici
Published in: J. Log. Comput. (2015)