Abstract
Bounded commutative residuated lattice ordered monoids (Rℓ-monoids) are a common generalization of, e.g., BL-algebras and Heyting algebras. In the paper, the properties of local and perfect bounded commutative Rℓ-monoids are investigated.
Similar content being viewed by others
References
P. Bahls, J. Cole, N. Galatos, P. Jipsen, and C. Tsinakis: Cancellative residuated lattices. Alg. Univ. 50 (2003), 83–106.
K. Blount, C. Tsinakis: The structure of residuated lattices. Intern. J. Alg. Comp. 13 (2003), 437–461.
R. L. O. Cignoli, I. M. L. D’Ottaviano, and D. Mundici: Algebraic Foundations of Many-Valued Reasoning. Kluwer Acad. Publ., Dordrecht-Boston-London, 2000.
A. Dvurečenskij, S. Pulmannová: New Trends in Quantum Structures. Kluwer Acad. Publ., Dordrecht-Boston-London, 2000.
A. Dvurečenskij, J. Rachůnek: Probabilistic averaging in bounded residuated ℓ-monoids. Semigroup Forum. 72 (2006), 191–206.
A. Dvurečenskij, J. Rachůnek: Bounded commutative residuated ℓ-monoids with general comparability and states. Soft Comput. 10 (2006), 212–218.
P. Hájek: Metamathematics of Fuzzy Logic. Kluwer, Amsterdam, 1998.
P. Jipsen, C. Tsinakis: A survey of residuated lattices. In: Ordered Algebraic Structures (J. Martinez, ed.). Kluwer Acad. Publ., Dordrecht, 2002, pp. 19–56.
J. Rachůnek: DRℓ-semigroups and MV-algebras. Czechoslovak Math. J. 48 (1998), 365–372.
J. Rachůnek: MV-algebras are categorically equivalent to a class of DRℓ1(i) semigroups. Math. Bohemica 123 (1998), 437–441.
J. Rachůnek: A duality between algebras of basic logic and bounded representable DRℓ-monoids. Math. Bohemica 126 (2001), 561–569.
J. Rachůnek, D. Šialounová: Boolean deductive systems of bounded commutative residuated ℓ-monoids. Contrib. Gen. Algebra 16 (2005), 199–207.
J. Rachůnek, V. Slezák: Negation in bounded commutative DRℓ-monoids. Czechoslovak Math. J. 56 (2006), 755–763.
J. Rachůnek, V. Slezák: Bounded dually residuated lattice ordered monoids as a generalization of fuzzy structures. Math. Slovaca. 56 (2006), 223–233.
K. L. N. Swamy: Dually residuated lattice ordered semigroups. Math. Ann. 159 (1965), 105–114.
K. L. N. Swamy: Dually residuated lattice ordered semigroups III. Math. Ann. 167 (1966), 71–74.
E. Turunen: Mathematics Behind Fuzzy Logic. Physica-Verlag, Heidelberg-New York, 1999.
E. Turunen, S. Sessa: Local BL-algebras. Multip. Val. Logic 6 (2001), 229–250.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Rachůnek, J., Šalounová, D. Local bounded commutative residuated ℓ-monoids. Czech Math J 57, 395–406 (2007). https://doi.org/10.1007/s10587-007-0068-2
Received:
Issue Date:
DOI: https://doi.org/10.1007/s10587-007-0068-2