Congruences on near-Heyting algebras
- 32 Downloads
A near-Heyting algebra is a join-semilattice with a top element such that every principal upset is a Heyting algebra. We establish a one-to-one correspondence between the lattices of filters and congruences of a near-Heyting algebra. To attain this aim, we first show an embedding from the lattice of filters to the lattice of congruences of a distributive nearlattice. Then, we describe the subdirectly irreducible and simple near-Heyting algebras. Finally, we fully characterize the principal congruences of distributive nearlattices and near-Heyting algebras. We conclude that the varieties of distributive nearlattices and near-Heyting algebras have equationally definable principal congruences.
KeywordsNear-Heyting algebra Distributive nearlattice Congruences Principal congruences
Mathematics Subject Classification06A12 06B10 08B26 06D20
- 4.Calomino, I.: Supremo álgebra distributivas: una generalización de las álgebra de Tarski. Ph.D. thesis, Universidad Nacional del Sur (2015)Google Scholar