Logos

A generalization of a Heyting Algebra which replaces Boolean Algebra in ``intuitionistic'' Logic.

See also Topos