KnowraHeyting algebraLinked fromLinked fromThe 8 pages that link to Heyting algebra, each with the reason it gives.All 8Broader topic 1Related 5Compared with 2Intuitionistic logicRelated: It provides an algebraic semantics in which excluded middle need not hold.IntuitionismRelated: Its operations model intuitionistic connectives without requiring classical Boolean complementation.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.Join and meetRelated: Its meet and join interpret conjunction and disjunction in intuitionistic logic.