Bounded distributive lattices with strict implication and weak difference

Sergio Celani, Agustín Nagy, William Zuluaga Botero

In this paper we introduce the class of weak Heyting Brouwer algebras (WHB-algebras, for short). We extend the well known duality between distributive lattices and Priestley spaces…