 LEM has been rejected in constructivism, in particular in intuitionistic logic (see the entry on  intuitionistic logic).  The standard informal interpretation of logical operators in intuitionistic logic is the so-called proof-interpretation or Brouwer-Heyting-Kolmogorov (BHK). On such interpretation the meaning of a statement \(\phi\) is given by explaining what constitutes a proof of \(\phi\) rather than in terms of its truth. The BHK interpretation of disjunction reads as follows: