We introduce the concept of an ideal of a noncommutative dually residuated lattice ordered monoid and show that congruences correspond one-to-one to normal ideals.
We introduce the concept of an ideal of a noncommutative dually residuated lattice ordered monoid and show that congruences correspond one-to-one to normal ideals. (en)
Představujeme koncept ideálů nekomutativních $DR\ell$-monoidů. (cs)