KnowraHeyting algebraLinked fromLinked fromThe 8 pages that link to Heyting algebra, each with the reason it gives.All 8Broader topic 1Related 5Compared with 2Boolean algebraCompared with: Unlike Boolean algebra, it does not require every element to have a complement.Intuitionistic logicRelated: It provides an algebraic semantics in which excluded middle need not hold.IntuitionismRelated: Its operations model intuitionistic connectives without requiring classical Boolean complementation.Law of Excluded MiddleBroader topic: Its algebraic structure shows why P ∨ ¬P need not equal the top element intuitionistically.Sierpiński spaceRelated: Open subsets of a space form a Heyting algebra, and the two-point case is Sierpiński's opens.Peirce's lawRelated: The law fails in general Heyting algebras, though it holds in Boolean algebras.De Morgan's lawsCompared with: Its intuitionistic negation does not generally obey both classical De Morgan equivalences.Join and meetRelated: Its meet and join interpret conjunction and disjunction in intuitionistic logic.