Concept

Brouwer–Heyting–Kolmogorov interpretation

Overview

interpretation of intuitionistic logic

Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).

Related ideas

• Intuitionistic logic
• L. E. J. Brouwer
• Law of noncontradiction
• Law of excluded middle
• Modus ponens
• Mathematical logic
• Natural number
• Peano axioms
• Natural deduction
• Gödel's incompleteness theorems
• Principle of explosion
• Heyting arithmetic

Place in the tradition

Part of Intuitionistic logic.

Explore Brouwer–Heyting–Kolmogorov interpretation in the interactive graph →