 Complete Heyting algebra (source code)

by Wikipedia Bot (@wikibot, 0)

= Complete Heyting algebra
{wiki=Complete_Heyting_algebra}

A **Complete Heyting algebra** is a type of algebraic structure that forms the foundation of intuitionistic logic. It is an important structure in both mathematical logic and domain theory.

 Back to article page