KnowraHeyting algebraLinked fromLinked fromThe 8 pages that link to Heyting algebra, each with the reason it gives.All 8Broader topic 1Related 5Compared with 2Law of Excluded MiddleBroader topic: Its algebraic structure shows why P ∨ ¬P need not equal the top element intuitionistically.