Soundness of Intuitionistic Propositional Logic for Heyting Algebras