Negation in bounded commutative DRℓ-monoids
Jiří Rachůnek, Vladimír Slezák · Czechoslovak Mathematical Journal · 2006
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.