Heyting-Algebra

Ein beschränkter Verband (mit 0 und 1) ausgestattet mit einer binären Implikationsoperation →, die die Adjunktion a ∧ b ≤ c genau dann erfüllt, wenn a ≤ (b → c); liefert eine algebraische Semantik für die intuitionistische Aussagenlogik, in der das Gesetz vom ausgeschlossenen Dritten nicht gelten muss.