Heyting algebra
Sign in to savebounded lattice that models intuitionistic propositional logic
In the Vinony graph
Vinony's link graph records 198 inbound references to Heyting algebra, and connects out to partially ordered set, Stephen Cook and infimum and supremum.
It is catalogued under topics including Algebraic logic, Constructivism (philosophy of mathematics) and Lattice theory.
Vinony links it to 14 Wikipedia language editions.
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
Connections
partially ordered set
Entity
Stephen Cook
Entity
infimum and supremum
Entity
ordered field
Entity
well-founded relation
Entity
ordered group
Entity
weak ordering
Entity
ordered vector space
Entity
mathematics
Entity
International Standard Book Number
Entity
topology
Entity
digital object identifier
Entity
OCLC, Inc.
Entity
topological space
Entity
equivalence relation
Entity
De Morgan's laws
Entity
Cambridge University Press
Entity
truth table
Entity
if and only if
Entity
complement
Entity