On the implicative‐infimum subreducts of weak Heyting algebras

Abstract

The variety of weak Heyting algebras was introduced in 2005 by Celani and Jansana. This corresponds to the strict implication fragment of the normal modal logic K which is also known as the subintuitionistic local consequence of the class of all Kripke models. Subresiduated lattices are a generalization of Heyting algebras and particular cases of weak Heyting algebras. They were introduced during the 1970’s by Epstein and Horn as an algebraic counterpart of some logics with strong implication previously studied by Lewy and Hacking.In this paper we study the class of implicative-infimum subreducts of weak Heyting algebras. In particular, we prove that this class is a variety by giving an equational base for it. We also present a topological duality for the algebraic category whose objects are the implicative-infimumsubreducts of subresiduated lattices.