 We take the language of Intuitionistic propositional logic to be the same as that of classical propositional logic, namely the set \(\{\wedge , \vee , \rightarrow , \top , \bot \}\). The consequence relation is defined by the following Hilbert-style calculus.