Heyting Algebra

An Algebra which is a special case of a Logos.

See also Logos, Topos