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.