Investigations on the Intuitionistic Propositional Calculus