|
gptkbp:instanceOf
|
gptkb:academic
gptkb:branch_of_logic
|
|
gptkbp:appliesTo
|
gptkb:set_theory
gptkb: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
|
|
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
|
7
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Formal logic
|