In 1962, the authors proved that every finite distributive lattice can be represented as the congruence lattice of a finite sectionally complemented lattice. In 1992, M. Tischendorf verified that ...
Priestley duality can be used to study subalgebras of Heyting algebras and related structures. The dual concept is that of congruence on the dual space and the congruence lattice of a Heyting space is ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback