A. Dvureˇcenskij - Institute of Mathematics, Slovak Academy of Sciences, Stef´anikova ۴۹, SK-۸۱۴ ۷۳ Bratislava, Slovakia ˇ

Recently in \cite{DvZa۵,DvZa۶}, new algebras, called weak pseudo EMV-algebras, wPEMV-algebras for short, were introduced generalizing pseudo MV-algebras, generalized Boolean algebras and pseudo EMV-algebras. For these algebras a top element is not assumed a priori. For this class of algebras, we define a state as a finitely additive mapping from a wPEMV-algebra into the real interval [۰,۱] which preserves a partial addition of two non-interactive elements and attaining the value ۱ in some element. It can happen that some commutative wPEMV-algebras are stateless, e.g. cancellative ones.The paper is divided into two parts. Part I deals with basic properties of states and state-morphisms which are wPEMV-homomorphisms from a wPEMV-algebra into the real interval [۰,۱] endowed as a commutative wPEMV-algebra. We show that there is a one-to-one correspondence between the set of state-morphisms and the set of maximal and normal ideals having a special property.In Part II, we present an analogue of the Krein-Mil'man theorem applied to the set of states. We characterize the space of the state-morphisms of a wPEMV-algebra without top element as a Hausdorff locally compact space in the weak topology of states and we present its Alexandroff's one-point compactification. Moreover, we give an integral representation of any (finitely additive) state by a unique regular Borel \sigma-additive probability measure.

Pseudo MV-algebra, pseudo EMV-algebra, wPEMV-algebra, generalized Boolean algebra, state, state-morphism, extremal state, pre-state, maximal and normal ideal, Weak convergence, simplex, integral representation