Frontal operators in distributive lattices with a generalized implication

We introduce a family of extensions of bounded distributive lattices. These extensions are obtained by adding two operations: an internal unary operation, and a function (called generalized implication) that maps pair of elements to ideals of the lattice. A bounded distributive lattice with a generalized implication is called gi-lattice in [J. E. Castro and S. A. Celani, Quasi-modal lattices, Order 21 (2004) 107–129]. The main goal of this paper is to introduce and study the category of frontal gi-lattices (and some subcategories of it). This category can be seen as a generalization of the category of frontal weak Heyting algebras (see [S. A. Celani and H. J. San Martín, Frontal operators in weak Heyting algebras, Studia Logica 100(1–2) (2012) 91–114]). In particular, we study the case of frontal gi-lattices where the generalized implication is defined as the annihilator (see [B. A. Davey, Some annihilator conditions on distributive lattices, Algebra Universalis 4(1) (1974) 316–322; M. Mandelker, Relative annihilators in lattices, Duke Math. J. 37 (1970) 377–386]). We give a Priestley’s style duality for each one of the new classes of structures considered.