Statements (51)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:academic
branch of logic |
| gptkbp:appliesTo |
gptkb:set_theory
model theory proof theory recursion theory |
| gptkbp:basisFor |
gptkb:artificial_intelligence
gptkb:mathematics computer science linguistics |
| gptkbp:contrastsWith |
gptkb:logic
dialectical logic informal logic inductive logic |
| gptkbp:developedBy |
gptkb:Alfred_North_Whitehead
gptkb:Alfred_Tarski gptkb:Aristotle gptkb:Bertrand_Russell gptkb:Gottlob_Frege gptkb:Kurt_Gödel |
| gptkbp:fieldOfStudy |
gptkb:logic
|
| gptkbp:hasApplication |
natural language processing
automated theorem proving circuit design database theory program verification |
| gptkbp:hasConcept |
gptkb:syntax
completeness semantics consistency decidability soundness validity |
| https://www.w3.org/2000/01/rdf-schema#label |
Formal logic
|
| gptkbp:includes |
gptkb:logic
predicate logic |
| gptkbp:relatedTo |
gptkb:mathematics
gptkb:philosophy computer science |
| gptkbp:studiedIn |
universities
mathematics departments philosophy departments computer science departments |
| gptkbp:studies |
formal systems
inference deductive reasoning |
| gptkbp:uses |
axioms
rules of inference symbolic notation |
| gptkbp:bfsParent |
gptkb:Formalism
|
| gptkbp:bfsLayer |
5
|