Heyting algebra

GPTKB entity

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