Bounded commutative residuated l-monoids with general comparability and states
Bounded commutative Rl-monoids are a generalization of MV-algebras as well as of BL-algebras. For such monoids the authors in [DvRa] introduced states, analogues of probability measures. We study Boolean elements and introduce the general comparability property. It entails that the monoids with the property are BL-algebras, and extremal states on Boolean elements can be uniquely extended to extremal states on the monoids. Moreover, the hull-kernel topology of maximal filters is totally disconnected.
state bounded commutative rl-monoid mv-algebra boolean element general comparability property extremal state maximal filter filter state-morphism bl-algebra