Statements (92)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:academic
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:government_agency
gptkb:lambda_calculus gptkb:logic gptkb:set_theory gptkb:homotopy_type_theory gptkb:sequent_calculus gptkb:Kripke_semantics gptkb:reverse_mathematics gptkb:Hilbert_systems gptkb:autoepistemic_logic gptkb:classical_logic gptkb:finite_model_theory gptkb:second-order_logic gptkb:intuitionistic_type_theory gptkb:linear_logic algebraic logic automata theory computability theory formal semantics model theory predicate logic proof theory recursion theory automated reasoning fuzzy logic intuitionistic logic dynamic logic constructive logic formal verification logic programming natural deduction proof assistants categorical logic proof complexity default logic higher-order logic description logic descriptive complexity game semantics many-valued logic ordinal analysis paraconsistent logic deontic logic quantum logic structural proof theory Gentzen systems algebraic semantics analytic tableaux argumentation theory belief revision categorical semantics computational logic epistemic logic non-monotonic logic possible world semantics proof mining proof nets proof search proof-theoretic semantics relevance logic substructural logic tableau methods |
| https://www.w3.org/2000/01/rdf-schema#label |
Formal Logic
|
| gptkbp:includes |
gptkb:logic
predicate logic symbolic logic |
| gptkbp:relatedTo |
philosophy of logic
informal logic |
| gptkbp:studies |
gptkb:syntax
formal systems model theory proof theory semantics deductive reasoning logical consequence |
| gptkbp:uses |
formal languages
axioms inference rules |
| gptkbp:bfsParent |
gptkb:Augustus_De_Morgan
|
| gptkbp:bfsLayer |
5
|