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.