A Pragmatic Interpretation of Intuitionistic Propositional Logic