Abstract

Let $H$ be the Hilbert-style intuitionistic propositional calculus without exchange and contraction rules. An axiomatization of H with the separation property is provided. Of the superimplicational fragments of H, it is proved that just two fail to be finitely axiomatized, and that all are algebraizable. The paper is a study of these fragments, their equivalent algebraic semantics and their axiomatic extensions.