Distributive lattices with a generalized implication: topological duality (Q634749)

In this paper the authors introduce and study the class of bounded distributive lattices endowed with a binary function \(\Rightarrow \), called generalized implication, as a common abstraction of the notions of annihilator [\textit{M. Mandelker}, Duke Math. J. 37, 377--386 (1970; Zbl 0206.29701)], quasi-modal algebras [\textit{S. Celani}, Math. Bohem. 126, No.~4, 721--736 (2001; Zbl 0999.06012)], and weakly Heyting algebras [\textit{S. Celani} and \textit{R. Jansana}, Math. Log. Q. 51, No.~3, 219--246 (2005; Zbl 1067.03065)]. A generalized implication on a bounded distributive lattice \(A\) is a binary function that maps every pair of elements of \(A\) to an ideal. The pair \((A,\Rightarrow )\) is called a distributive lattice with a generalized implication, or gi-lattice for short. The authors prove some properties of such structures and also present a few examples which motivate the study of the class of gi-lattices. They prove that a bounded lattice \(A\) is distributive if and only if there exists a generalized implication \(\Rightarrow \) defined in \(A\) satisfying certain conditions (Theorem 3). They also introduce the notion of homomorphism between gi-lattices (gi-homomorphisms) and the corresponding notion of congruence (gi-congruence) and prove a representation theorem for gi-lattices (Theorem 18). Then the representation is turned into a topological Priestley duality between the category of gi-lattices with gi-homomorphisms as arrows and certain relational Priestley spaces with gi-morphisms as arrows (Theorem 31). These results extend the duality developed for weakly Heyting algebras and quasi-modal algebras presented in the papers mentioned above. This duality is applied to characterize the closed sets that correspond to gi-congruences and then to characterize the filters (called gi-filters) that correspond to closed up-sets whose dual congruence is a gi-congruence. Finally, they prove that the lattice of gi-filters is dually isomorphic to the lattice of increasing gi-congruences.