Lattice subordinations and Priestley duality. (Q2443678): Difference between revisions

The paper deals with possible extension of the known correspondence between Heyting algebras and S4-algebras to distributive lattices. For this, the author uses an appropriate analogue of S4-algebras which defines by means of binary relations lattice subordinations. The author shows that the mentioned correspondence between Heyting algebras and S4-algebras extends to distributive lattices and Boolean algebras with lattice subordinations. Furthermore, he provides a uniform approach to dualities for the studied classes of algebras.