## 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.

## Comments

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