A non commutative generalization of *-autonomous lattices
- 28 Downloads
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.
Keywords*-autonomous lattice pseudo *-autonomous lattice residuated lattice ideal normal ideal congruence
Unable to display preview. Download preview PDF.
- P. Jipsen, C. Tsinakis: A survey of residuated lattices. In: Ordered Algebraic Structures (J. Martinez, ed.). Kluwer, Dordrecht, 2002, pp. 19–56.Google Scholar