Heyting algebra
nounEtymology
After Dutch mathematician Arend Heyting, who developed the theory as a way of modelling his intuitionistic logic.
Definitions
A bounded lattice, L, modified to serve as a model for a logical calculus by being…
A bounded lattice, L, modified to serve as a model for a logical calculus by being equipped with a binary operation called "implies", denoted → (sometimes ⊃ or ⇒), defined such that (a→b)∧a ≤ b and, moreover, that x = a→b is the greatest element such that x∧a ≤ b (in the sense that if c∧a ≤ b then c ≤ a→b).
- which is just obvious.
The neighborhood
Vish — recursive loop
No curated loop yet for Heyting algebra. Loops are being traced one word at a time while the ingestion pipeline matures.
sense glosses and etymology drawn from English Wiktionary · source · CC-BY-SA