Statements (31)
| 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 |
| 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:theoretical_computer_science
gptkb:logic gptkb:topology |
| gptkbp:bfsParent |
gptkb:Arend_Heyting
gptkb:intuitionistic_mathematics gptkb:Lattice_Theory gptkb:Distributive_lattice |
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
Heyting algebra
|