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.De Morgan's lawsCompared with: Its intuitionistic negation does not generally obey both classical De Morgan equivalences.