Proper noun
Heyting
A surname from Dutch.
A fundamental example is the use of Boolean algebras to represent truth values in classical propositional logic, and the use of Heyting algebras to represent truth values in intuitionistic propositional logic. Source: Internet
Being lattices, Heyting algebras and Boolean algebras are endowed with these monoid structures. Source: Internet
Intuitionistic logic was developed by Heyting to study Brouwer's program of intuitionism, in which Brouwer himself avoided formalization. Source: Internet
More specific complete lattices are complete Boolean algebras and complete Heyting algebras (locales). Source: Internet