Naturally Orderd Transformation Semigroups.
The class of commutative dually residuated lattice ordered monoids (-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 -monoids is introduced, its properties are studied and the sets of regular and dense elements of -monoids are described.
Let be a multiplicative monoid. If is a non-singular ring such that the class of all non-singular -modules is a cover class, then the class of all non-singular -modules is a cover class. These two conditions are equivalent whenever is a well-ordered cancellative monoid such that for all elements with there is such that . For a totally ordered cancellative monoid the equalities and hold, being Goldie’s torsion theory.