Ontify
⌘
S
⌘
S
Heyting Algebra - Ontify
Share
Heyting Algebra
Bounded lattice that models intuitionistic propositional logic.
Wikipedia | Heyting Algebra
Statements about
Heyting Algebra
External Pages About Heyting Algebra
BabelNet
Named After
Subclass Of
Residuated Lattice
Distributive Lattice
Studied By
Lattice Theory
Mathematical Logic
Instance Of
Mathematical Concept
Arend Heyting
Finitely Complete Category
Cartesian Closed Category
Bounded Lattice
Finitely Cocomplete Category
Wikidata
