arXiv:1312.7515 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords stone-weierstrass theorem, mv-algebras, computational algebraic logic, strong order unit, separating subalgebra Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset