Heyting algebra love

Help Wordnik hunt for a million missing words by backing our Kickstarter!

Heyting algebra


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.


After Arend Heyting. (Wiktionary)


Sorry, no example sentences found.


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