Extremal states on bounded residuated \(\ell\)-monoids with general comparability (Q422419)

A bounded \(Rl\)-monoid is an algbebra \(M = (M;\odot,\vee,\wedge,\rightarrow,\rightsquigarrow,0,1)\) of type \((2,2,2,2,2,0,0)\) that satisfies the following conditions: 1) \(M = (M;\odot,1)\) is a monoid (need not be commutative); 2) \(M = (M;\odot,\vee,\wedge,0,1)\) is a bounded lattice-ordered semigroup; 3) \(x\odot y\leq z \) iff \(x\leq y\rightarrow z \) iff \(y\leq\rightsquigarrow z\) for any \(x,y\in M\); 4) \( (x\rightarrow y)\odot x = x = x\wedge y = y \odot (y\rightsquigarrow x)\). In this paper, the authors introduce and investigate bounded \(Rl\)-monoids \(M\) which satisfy the general comparability property as a non-commutative generalization of such commutative \(Rl\)-monoids. The authors describe connections between states on those \(Rl\)-monoids and states on the Boolean algebras \(B(M)\) of their complemented elements, where states on those \(Rl\)-monoids are analogues of probability measures, introduced by \textit{A. Dvurečenskij} and \textit{J. Rachůnek} in [Semigroup Forum 72, No. 2, 191--206 (2006; Zbl 1105.06010)]. They also prove that if \(M\) satisfies general comparability and \(s\) is an extremal state on \(B(M)\) and the filter of \(M\) generated by the kernel of \(s\) is normal, then \(s\) can be uniquely extended to an extremal state on \(M\), and that if every extremal state on \(B(M)\) satisfies this property, then \(M\) is a pseudo-BL-algebra.