Statements (28)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:algebra
|
gptkbp:containsElement |
open sets of a topological space (example)
propositional formulas (example) |
gptkbp:generalizes |
gptkb:algebra
|
gptkbp:hasApplication |
gptkb:logic
domain theory categorical logic |
gptkbp:hasDual |
gptkb:co-Heyting_algebra
|
gptkbp:hasModel |
intuitionistic logic
|
gptkbp:hasProperty |
bounded lattice
not necessarily complemented residuation property |
https://www.w3.org/2000/01/rdf-schema#label |
Heyting algebra
|
gptkbp:introducedIn |
1930s
|
gptkbp:isDistributiveLattice |
true
|
gptkbp:namedAfter |
gptkb:Arend_Heyting
|
gptkbp:operator |
implication
join meet bottom element top element |
gptkbp:relatedTo |
gptkb:order_theory
lattice theory |
gptkbp:usedIn |
gptkb:logic
gptkb:topology theoretical computer science |
gptkbp:bfsParent |
gptkb:algebra
|
gptkbp:bfsLayer |
4
|