Extremal states on bounded residuated l-monoids with general comparability

Abstract

Bounded residuated lattice ordered monoids (RlR-monoids) are a common generalization of pseudo-BLBL-algebras and Heyting algebras, i.e. algebras of the non-commutative basic fuzzy logic (and consequently of the basic fuzzy logic, the Łukasiewicz logic and the non-commutative Łukasiewicz logic) and the intuitionistic logic, respectively. We investigate bounded RlR-monoids satisfying the general comparability condition in connection with their states (analogues of probability measures). It is shown that if an extremal state on Boolean elements fulfils a simple condition, then it can be uniquely extended to an extremal state on the RlR-monoid, and that if every extremal state satisfies this condition, then the RlR-monoid is a pseudo-BLBL-algebra.