Definitions
from Wiktionary, Creative Commons Attribution/Share-Alike License.
- noun A
bounded lattice equipped with abinary operation a→b ofimplication such that (a→b)∧a ≤ b, and moreover a→b is the greatest such in the sense that if c∧a ≤ b then c ≤ a→b.
Etymologies
from Wiktionary, Creative Commons Attribution/Share-Alike License
After Arend Heyting.
Support
Help support Wordnik (and make this page ad-free) by adopting the word Heyting algebra.
Examples
Sorry, no example sentences found.
Comments
Log in or sign up to get involved in the conversation. It's quick and easy.