On idempotent elements of dually residuated lattice ordered semigroups
Tomáš Kovář · Discussiones Mathematicae - General Algebra and Applications · 2024
We show that idempotent elements of a dually residuated lattice ordered semigroup (a DRl-semigroup) form a Brouwerian algebra.Further we show that for any idempotent elements x, y such that x ≤ y the interval [x; y] is also a DRL-semigroup.