Explore relationships

Brouwer–Heyting–Kolmogorov interpretation

In mathematical logic, the Brouwer–Heyting–Kolmogorov interpretation, or BHK interpretation, is an explanation of the meaning of proof in intuitionistic logic, proposed by L. E. J. Brouwer and Arend Heyting, and independently by Andrey Kolmogorov.

Use + to expand a branch. Click a topic name to open its summary.