In this paper, we introduce the concept of an ideal of a noncommutative dually residuated lattice ordered monoid and we show that congruence relations and certain ideals are in a one-to-one correspondence.
In the paper the notion of an ideal of a lattice ordered monoid A is introduced and relations between ideals of A and congruence relations on A are investigated. Further, it is shown that the set of all ideals of a soft lattice ordered monoid or a negatively ordered monoid partially ordered by inclusion is an algebraic Brouwerian lattice.