Pseudo $\star $-autonomous lattices are non-commutative generalizations of $\star $-autonomous lattices. It is proved that the class of pseudo $\star $-autonomous lattices is a variety of algebras which is term equivalent to the class of dualizing residuated lattices. It is shown that the kernels of congruences of pseudo $\star $-autonomous lattices can be described as their normal ideals.
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.