Logos
A generalization of a
Heyting Algebra
which replaces
Boolean Algebra
in ``intuitionistic''
Logic
.
See also
Topos
© 1996-9
Eric W. Weisstein
1999-05-25