Heyting algebra
Sign in to savebounded lattice that models intuitionistic propositional logic
Wikidata facts
- Subclass of
- cartesian closed category
- Named after
- Arend Heyting
Show 3 more facts
- Commons category
- Heyting Algebra
- maintained by WikiProject
- WikiProject Mathematics
- studied by
- mathematical logic
via Wikidata · CC0