Statements (21)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:logic
formal semantics |
| gptkbp:compatibleWith |
gptkb:law_of_excluded_middle
|
| gptkbp:contrastsWith |
gptkb:Peano_arithmetic
|
| gptkbp:field |
gptkb:mathematics
intuitionistic logic |
| gptkbp:firstDescribed |
1930s
|
| gptkbp:hasAxiom |
Heyting's axioms
|
| gptkbp:hasModel |
recursive functions
|
| gptkbp:hasSubgroup |
first-order arithmetic
|
| https://www.w3.org/2000/01/rdf-schema#label |
Heyting arithmetic
|
| gptkbp:isA |
intuitionistic version of Peano arithmetic
|
| gptkbp:namedAfter |
gptkb:Arend_Heyting
|
| gptkbp:provenBy |
fewer theorems than Peano arithmetic
|
| gptkbp:relatedTo |
gptkb:Brouwer–Heyting–Kolmogorov_interpretation
gptkb:intuitionistic_type_theory |
| gptkbp:studies |
natural numbers
|
| gptkbp:usedIn |
gptkb:logic
|
| gptkbp:uses |
intuitionistic logic
|
| gptkbp:bfsParent |
gptkb:Brouwer's_intuitionism
|
| gptkbp:bfsLayer |
7
|