co-Heyting algebra

GPTKB entity

Statements (18)
Predicate Object
gptkbp:instanceOf gptkb:algebra
gptkbp:alsoKnownAs gptkb:Brouwerian_algebra
gptkbp:application gptkb:logic
lattice theory
gptkbp:definedIn a bounded distributive lattice with a binary operation called pseudo-difference
gptkbp:field gptkb:mathematics
gptkb:order_theory
https://www.w3.org/2000/01/rdf-schema#label co-Heyting algebra
gptkbp:namedAfter gptkb:Arend_Heyting
gptkbp:operator join
meet
pseudo-difference
gptkbp:property dual of Heyting algebra
every Boolean algebra is a co-Heyting algebra
gptkbp:relatedTo gptkb:algebra
gptkb:Heyting_algebra
gptkbp:bfsParent gptkb:Heyting_algebra
gptkbp:bfsLayer 5