1 thinkers, books, and ideas connected to this field.
The Brouwer-Heyting-Kolmogorov (BHK) interpretation of intuitionistic logic — a proposition is true if and only if there is a proof of it; the meaning of each logical connective is defined in terms of what counts as a proof.