Concept

Heyting algebra

Overview

bounded lattice that models intuitionistic propositional logic

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

Related ideas

• If and only if
• Truth value
• Intuitionistic logic
• Law of excluded middle
• Mathematics
• Modus ponens
• Truth table
• Soundness
• Morphism
• Topology
• Total order
• Topological space
• Theory (mathematical logic)
• Logical consequence
• Double negation
• Many-valued logic
• Infimum and supremum
• Boolean algebra (structure)
• Type theory
• Tautology (logic)
• Peirce's law
• Deduction theorem
• Saul Kripke
• Complement (set theory)

Place in the tradition

Part of Many-valued logic.

Explore Heyting algebra in the interactive graph →