A non commutative generalization of *-autonomous lattices
Petr Emanovský, Jiří Rachůnek · Czechoslovak Mathematical Journal · 2008
Pseudo *-autonomous lattices are non-commutative generalizations of *-autonomous lattices. It is proved that the class of pseudo *-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 *-autonomous lattices can be described as their normal ideals.