Bounded commutative residuated ℓ-monoids with general comparability and states

Bounded commutative Rℓ-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.