Antonio Di Nola, Giacomo Lenzi, Luca Spada We present a uniform version of Di Nola Theorem, this enables to embed all MV-algebras of a bounded cardinality in an algebra of functions with values in a single non-standard ultrapower of the real interval [0, 1]. This result also implies the existence, Read more
By A. Di Nola, I. Esposito, B. Gerla In this paper we present several results about local MV-algebras, extending existing results given for MV-chains. The role of local MV-algebras in sheaf representation and weak boolean product is stressed and the relationship of local MV-algebras with varieties of MV-algebras is analyzed.
By L.P. Belluce, A. Di Nola, B. Gerla We investigate the class of abelian l-groups with strong unit corresponding to perfect MV-algebras via the Gamma functor, showing that this is a universal subclass of the class of all abelian l-groups with strong unit and describing the formulas that axiomatize it. Read more