Bounded commutative residuated \(\ell\)-monoids with general comparability and states (Q816883)

This is a continuation of an earlier paper by the same authors [``Probabilistic averaging in bounded commutative residuated \(l\)-monoids'', Discrete Math. 306, No.~13, 1317--1326 (2006; Zbl 1105.06011)]. A bounded commutative \(Rl\)-monoid (also known as a bounded commutative integral generalized BL-algebra [cf. \textit{P. Jipsen} and \textit{C. Tsinakis}, ``A survey of residuated lattices'', in: J. Martínez (ed.), Ordered algebraic structures. Proceedings of the conference on lattice-ordered groups and \(f\)-rings held at the University of Florida, Gainesville, FL, USA, February 28--March 3, 2001. Dordrecht: Kluwer Academic Publishers. Developments in Mathematics 7, 19--56 (2002; Zbl 1070.06005)]) is an algebra \(M = (M;\odot,\vee,\wedge,\rightarrow,0,1)\) of type \(\langle2,2,2,2,0,0\rangle\) satisfying the following conditions: (i) \((M;\odot,1)\) is a commutative monoid; (ii) \((M;\vee,\wedge,0,1)\) is a bounded lattice; (iii) \(x\odot y \leq z\) iff \(x\leq y\rightarrow z\), for all \(x,y,z \in M\); (iv) \(x\odot(x\rightarrow y) = x\wedge y\) for all \(x,y\in M\). Bounded commutative \(Rl\)-monoids are a generalization of MV-algebras as well as of BL-algebras. The authors study Boolean elements and introduce a general comparability property -- each monoid with this property is a BL-algebra and extremal states on Boolean elements can be uniquely extended to extremal states on the monoid. Further, if the monoid is finite, then it satisfies the general comparability property iff it is a direct product of linearly ordered BL-algebras. It is shown that if \(\Omega\) is a Hausdorff compact totally disconnected topological space, then the MV-algebra \(M(\Omega)\) of all continuous real-valued functions on \(\Omega\) into [0,1] does not necessarily satisfy the general comparability property. At the end the authors formulate the following open problem: Is it true that every finite bounded commutative \(Rl\)-monoid is a direct product of \(Rl\)-worms?