Heyting algebra love

Heyting algebra

Definitions

from Wiktionary, Creative Commons Attribution/Share-Alike License

  • n. A bounded lattice equipped with a binary operation a→b of implication 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

After Arend Heyting. (Wiktionary)

Examples

Sorry, no example sentences found.

Wordnik is becoming a not-for-profit! Read our announcement here.

Comments

Log in or sign up to get involved in the conversation. It's quick and easy.