On intuitionistic sentential connectives i

Abstract

Recently there have appeared a series of articles on a non-classical logic, called the Heytinq-Brouwer Logic (H-B L), see [2], [3], [5] and [6]. The H-B Logics are obtained by the addition of new sentential connectives to intuitionistic logic so that the resulting Lindenbaum algebras enjoy some duality properties.