Abstract
The class of commutative dually residuated lattice ordered monoids (DRℓ-monoids) contains among others Abelian lattice ordered groups, algebras of Hájek’s Basic fuzzy logic and Brouwerian algebras. In the paper, a unary operation of negation in bounded DRℓ-monoids is introduced, its properties are studied and the sets of regular and dense elements of DRℓ-monoids are described.
Similar content being viewed by others
References
R. L. O. Cignoli, I. M. L. D’Ottaviano and D. Mundici: Algebraic Foundations of Many-valued Reasoning. Kluwer, Dordrecht, 2000.
R. Cignoli and A. Torrens: Hájek basic fuzzy logic and Lukasiewicz infinite-valued logic. Arch. Math. Logic 42 (2003), 361–370.
P. Hájek: Metamathematics of Fuzzy Logic. Kluwer, Amsterdam, 1998.
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. Bohem. 123 (1998), 437–441.
J. Rachůnek: A duality between algebras of basic logic and bounded representable DRℓ-monoids. Math. Bohem. 126 (2001), 561–569.
K. L. N. Swamy: Dually residuated lattice ordered semigroups. Math. Ann. 159 (1965), 105–114.
K. L. N. Swamy: Dually residuated lattice ordered semigroups II. Math. Ann. 160 (1965), 65–71.
K. L. N. Swamy: Dually residuated lattice ordered semigroups III. Math. Ann. 167 (1966), 71–74.
K. N. Swamy and B. V. Subba Rao: Isometries in dually residuated lattice ordered semigroups. Math. Sem. Notes (Kobe) 8 (1980), 369–380.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Rachůnek, J., Slezák, V. Negation in bounded commutative DRℓ-monoids. Czech Math J 56, 755–763 (2006). https://doi.org/10.1007/s10587-006-0053-1
Received:
Issue Date:
DOI: https://doi.org/10.1007/s10587-006-0053-1