States on wEMV-algebras (Q2227253)

EMV-algebras, introduced by the author and \textit{O. Zahiri} [Fuzzy Sets Syst. 373, 116--148 (2019; Zbl 1423.06048)], is a common generalization of MV-algebras and generalized Boolean algebras. Weak EMV-algebras (wEMV-algebras) is a further generalization of EMV-algebras in a signature extended by a subtraction-like operation \(\ominus\) [the author and \textit{O. Zahiri}, Fuzzy Sets Syst. 418, 101--125 (2021; Zbl 1467.06008)]. States on EMV-algebras were investigated in [the author and \textit{O. Zahiri}, Soft Comput. 23, No. 17, 7513--7536 (2019; Zbl 1418.06008)]. A state on a wEMV-algebra \(M\) is defined differently, as a mapping \(s\) to \([0,1]\) that obeys the condition (\(s(y \ominus x) = s(y) - s(x)\) whenever \(x \ominus y = 0\)) and takes the value 1 on some element. Just as in EMV-algebras, a state on \(M\) is extremal if and only if it is a state-morphism if and only if its kernel is a maximal ideal of \(M\). In contrast to the case of EMV-algebras, not every non-trivial wEMV-algebra has a state, one-to one correspondence is established only between the set of state-morphisms and a set of maximal ideals having a special property, and every state on \(M\) is shown to be a weak limit of a net of convex combinations of state-morphisms only under some conditions.