Heyting-algebra Definition
noun
A bounded lattice equipped with a binary operation a→b of implication such that (a→b)∧a ≤ b, and moreover a→b is the greatest such in the sense that if c∧a ≤ b then c ≤ a→b.
If the less-than-or-equal relation in the definition of Heyting algebra is interpreted to mean logical entailment, then (a→b)∧a ≤ b translates to "(a→b), a ⊢ b" which is Modus Ponens. The formulae in the second condition translate to "c, a ⊢ b ⇒ c ⊢ a→b" which is the Deduction Theorem.
Wiktionary
other
Boolean algebra.
Wiktionary
Complete Heyting algebra.
Wiktionary
Other Word Forms of Heyting-algebra
Noun
Singular:
heyting-algebraPlural:
heyting-algebrasOrigin of Heyting-algebra
After Arend Heyting.
From Wiktionary
Find Similar Words
Find similar words to heyting-algebra using the buttons below.