|
gptkbp:instanceOf
|
gptkb:academic
gptkb:branch_of_logic
|
|
gptkbp:appliesTo
|
gptkb:mathematics
gptkb:philosophy
computer science
linguistics
|
|
gptkbp:developedBy
|
gptkb:Alfred_North_Whitehead
gptkb:Alfred_Tarski
gptkb:Aristotle
gptkb:Bertrand_Russell
gptkb:Gottlob_Frege
gptkb:Kurt_Gödel
|
|
gptkbp:hasSubfield
|
gptkb:formal_semantics
gptkb:government_agency
gptkb:lambda_calculus
gptkb:logic
gptkb:set_theory
gptkb:model_theory
gptkb:homotopy_type_theory
gptkb:sequent_calculus
gptkb:Kripke_semantics
gptkb:reverse_mathematics
gptkb:Hilbert_systems
gptkb:fuzzy_logic
gptkb:autoepistemic_logic
gptkb:classical_logic
gptkb:finite_model_theory
gptkb:second-order_logic
gptkb:intuitionistic_type_theory
gptkb:linear_logic
gptkb:argumentation_theory
gptkb:epistemic_logic
gptkb:substructural_logic
gptkb:description_logic
gptkb:game_semantics
gptkb:many-valued_logic
gptkb:paraconsistent_logic
algebraic logic
automata theory
computability theory
predicate logic
proof theory
recursion theory
automated reasoning
intuitionistic logic
dynamic logic
constructive logic
formal verification
logic programming
natural deduction
proof assistants
categorical logic
proof complexity
default logic
higher-order logic
descriptive complexity
ordinal analysis
deontic logic
quantum logic
structural proof theory
Gentzen systems
algebraic semantics
analytic tableaux
belief revision
categorical semantics
computational logic
non-monotonic logic
possible world semantics
proof mining
proof nets
proof search
proof-theoretic semantics
relevance logic
tableau methods
|
|
gptkbp:includes
|
gptkb:logic
predicate logic
symbolic logic
|
|
gptkbp:relatedTo
|
philosophy of logic
informal logic
|
|
gptkbp:studies
|
gptkb:model_theory
gptkb:syntax
formal systems
proof theory
semantics
deductive reasoning
logical consequence
|
|
gptkbp:uses
|
formal languages
axioms
inference rules
|
|
gptkbp:bfsParent
|
gptkb:Augustus_De_Morgan
|
|
gptkbp:bfsLayer
|
5
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Formal Logic
|