1. A non commutative generalization of $\star$-autonomous lattices
- Creator:
- Emanovský, Petr and Rachůnek, Jiří
- Format:
- bez média and svazek
- Type:
- model:article and TEXT
- Subject:
- $\star$-autonomous lattice, pseudo $\star$-autonomous lattice, residuated lattice, ideal, normal ideal, and congruence
- Language:
- English
- Description:
- 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.
- Rights:
- http://creativecommons.org/publicdomain/mark/1.0/ and policy:public