 The first paper was a reaction to Barzin and Errera’s claim that Brouwer’s logic is three-valued (Barzin &amp; Errera 1927). The relevant points for the explanation of the meaning of the connectives in Heyting’s paper are the following. First, an explanation is given of assertion: