Statements (57)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:architecture
|
| gptkbp:has |
fuzzy logic systems
open sets in topology subsets of a set |
| gptkbp:has_applications_in |
gptkb:political_theory
formal verification program verification |
| gptkbp:has_function |
join
implication meet |
| gptkbp:has_identity_element |
bottom element
top element |
| gptkbp:has_property |
absorption law
distributive property complement law |
| https://www.w3.org/2000/01/rdf-schema#label |
Heyting algebra
|
| gptkbp:is_a |
generalization of Boolean algebra
|
| gptkbp:is_characterized_by |
gptkb:prime_ideals
homomorphisms ideal theory existential quantification morphisms Kripke semantics maximal ideals frame semantics isomorphisms dual operations filtering operations Heyting implication Heyting negation algebraic semantics bounded lattice closure operators compactness property completeness property finite model property implicative structure non-distributive property sublattices topological semantics universal quantification |
| gptkbp:is_related_to |
gptkb:constructive_mathematics
category theory modal logic topos theory non-classical logics lattice theory |
| gptkbp:is_studied_in |
gptkb:Mathematics
gptkb:philosophy theoretical computer science |
| gptkbp:is_used_in |
gptkb:computer_science
mathematical logic philosophy of mathematics intuitionistic logic |
| gptkbp:named_after |
gptkb:Arend_Heyting
|
| gptkbp:bfsParent |
gptkb:Lattice
|
| gptkbp:bfsLayer |
5
|