A non commutative generalization of -autonomous lattices
P. Emanovský, Jiří Rachůnek (2008)
Czechoslovak Mathematical Journal
Similarity:
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.