Brouwerian lattice

GPTKB entity

Statements (21)
Predicate Object
gptkbp:instanceOf gptkb:algebra
lattice
gptkbp:characterizedBy for all a, b in L, there exists a greatest x such that a ∧ x ≤ b
gptkbp:defines A lattice in which every principal ideal is a Heyting algebra
gptkbp:field gptkb:mathematics
gptkb:order_theory
lattice theory
gptkbp:generalizes gptkb:Heyting_algebra
https://www.w3.org/2000/01/rdf-schema#label Brouwerian lattice
gptkbp:namedAfter gptkb:L._E._J._Brouwer
gptkbp:operator join
meet
relative pseudo-complement
gptkbp:property distributive lattice
has relative pseudo-complement
gptkbp:relatedTo gptkb:algebra
implicative lattice
gptkbp:usedIn gptkb:logic
intuitionistic logic
gptkbp:bfsParent gptkb:Luitzen_Egbertus_Jan_Brouwer
gptkbp:bfsLayer 6