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.

[1]  A. Dvurecenskij.  Central elements and Cantor-Bernstein's theorem for pseudo-effect algebras , 2003, Journal of the Australian Mathematical Society.

[2]  K. Swamy,et al.  Dually residuated lattice ordered semigroups , 1965 .

[3]  Antonio di Nola,et al.  Finite BL-algebras , 2003, Discret. Math..

[4]  D. Mundici.  Interpretation of AF -algebras in ukasiewicz sentential calculus , 1986 .

[5]  Lluis Godo,et al.  Basic Fuzzy Logic is the logic of continuous t-norms and their residua , 2000, Soft Comput..

[6]  C. Tsinakis,et al.  A Survey of Residuated Lattices , 2002 .

[7]  C. Chang,et al.  Algebraic analysis of many valued logics , 1958 .

[8]  Jan Kühr,et al.  Representable dually residuated lattice-ordered monoids , 2003 .

[9]  Roberto Cignoli.  Complete and atomic algebras of the infinite valued Łukasiewicz logic , 1991, Stud Logica.

[10]  P. Aglianò,et al.  Varieties of BL- algebras I: General properties. , 2003 .

[11]  DANIELE MUNDICI,et al.  Averaging the truth-value in Łukasiewicz logic , 1995, Stud Logica.

[12]  K. Goodearl.  Partially ordered abelian groups with interpolation , 1986 .

[13]  Petr Hájek,et al.  Basic fuzzy logic and BL-algebras II , 1998, Soft Comput..

[14]  Constantine Tsinakis,et al.  The Structure of Residuated Lattices , 2003, Int. J. Algebra Comput..

[15]  Jiří Rachůnek,et al.  DRl-semigroups and MV-algebras , 1998 .

[16]  George Georgescu,et al.  Bosbach states on fuzzy structures , 2004, Soft Comput..

[17]  C. Tsinakis,et al.  Cancellative residuated lattices , 2003 .

[18]  Sylvia Pulmannová,et al.  New trends in quantum structures , 2000 .

[19]  Jiří Rachůnek.  A duality between algebras of basic logic and bounded representable $DRl$-monoids , 2001 .

[20]  Petr Hájek,et al.  Metamathematics of Fuzzy Logic , 1998, Trends in Logic.