 The standard explanation of intuitionistic logic today is the BHK-Interpretation (for “Brouwer, Heyting, Kolmogorov”) or Proof Interpretation as given by Troelstra and van Dalen in Constructivism in Mathematics (Troelstra &amp; van Dalen 1988: 9):