About: Mathematical logic

Property	Value
rdf:type	skos:Concept
rdfs:label	Mathematical logic
skos:broader	dbpedia:Category:Logic dbpedia:Category:Mathematics
skos:prefLabel	Mathematical logic
is skos:broader of	dbpedia:Category:Formal_languages dbpedia:Category:Logical_calculi dbpedia:Category:Mathematical_axioms dbpedia:Category:Algebraic_logic dbpedia:Category:Automated_theorem_proving dbpedia:Category:Categorical_logic dbpedia:Category:Forcing dbpedia:Category:Formal_systems dbpedia:Category:Independence_results dbpedia:Category:Mathematical_logic_organizations dbpedia:Category:Proof_theory dbpedia:Category:Set_theory dbpedia:Category:Boolean_algebra dbpedia:Category:Logic_in_computer_science dbpedia:Category:Mathematical_logic_hierarchies dbpedia:Category:Mathematical_logicians dbpedia:Category:Modal_logic dbpedia:Category:Model_theory dbpedia:Category:Recursion_theory dbpedia:Category:Formal_theories_of_arithmetic dbpedia:Category:Quantification dbpedia:Category:Recursion dbpedia:Category:Systems_of_formal_logic
is skos:subject of	dbpedia:Algorithm dbpedia:Recursion dbpedia:Set_theory dbpedia:Metalogic dbpedia:Proof_theory dbpedia:Surreal_number dbpedia:Naive_set_theory dbpedia:Complete_theory dbpedia:Heyting_algebra dbpedia:Contraposition dbpedia:Rewriting dbpedia:Completeness dbpedia:Abstract_algebraic_logic dbpedia:Algebraic_logic dbpedia:Bar_induction dbpedia:Equiconsistency dbpedia:Erasure_(logic) dbpedia:Bunched_logic dbpedia:Turnstile_(symbol) dbpedia:Computable_model_theory dbpedia:Craig's_theorem dbpedia:Extension_by_definitions dbpedia:Finitary_relation dbpedia:Glivenko's_theorem dbpedia:Hypostatic_abstraction dbpedia:Kripke_semantics dbpedia:Lindström's_theorem dbpedia:List_of_first-order_theories dbpedia:Mathematical_notation dbpedia:Mathematical_proof dbpedia:Mathematical_logic dbpedia:Gödel's_completeness_theorem dbpedia:Universe_(mathematics) dbpedia:Craig_interpolation dbpedia:Logical_constant dbpedia:Metamathematics dbpedia:Reverse_mathematics dbpedia:Algebraic_(logic) dbpedia:All_horses_are_the_same_color dbpedia:Ancestral_relation dbpedia:Leibniz_operator dbpedia:Categorical_set_theory dbpedia:Computable_real_function dbpedia:Conservativity_theorem dbpedia:Continuous_predicate dbpedia:Cyclic_negation dbpedia:Diagonal_lemma dbpedia:Ground_expression dbpedia:Harrop_formula dbpedia:Interior_algebra dbpedia:Inverse_relation dbpedia:Kruskal's_tree_theorem dbpedia:Laver_table dbpedia:Lindenbaum's_lemma dbpedia:Logical_graph dbpedia:Table_of_mathematical_symbols dbpedia:Tautology_(logic) dbpedia:Indicator_function dbpedia:Contradiction dbpedia:Method_of_analytic_tableaux dbpedia:Curry's_paradox dbpedia:Laws_of_Form dbpedia:Logical_machine dbpedia:Charles_Sanders_Peirce_bibliography dbpedia:Absoluteness_(mathematical_logic) dbpedia:Barwise_compactness_theorem dbpedia:Formal_calculation dbpedia:Brouwer–Heyting–Kolmogorov_interpretation dbpedia:Choice_sequence dbpedia:Coherent_space dbpedia:Entitative_graph dbpedia:List_of_computability_and_complexity_topics dbpedia:Ludics dbpedia:Löb's_theorem dbpedia:Negational_normal_form dbpedia:Non-classical_analysis dbpedia:Mathematical_induction dbpedia:Entscheidungsproblem dbpedia:Gödel_number dbpedia:Operation_(mathematics) dbpedia:Principia_Mathematica dbpedia:Gödel's_incompleteness_theorems dbpedia:Model_theory dbpedia:Hilbert's_program dbpedia:Intuitionistic_logic dbpedia:Game_semantics dbpedia:Formal_system dbpedia:Foundations_of_mathematics dbpedia:Herbrand_structure dbpedia:Quantum_logic dbpedia:Stratification_(mathematics) dbpedia:Natural_deduction dbpedia:Attributional_calculus dbpedia:Beth_definability dbpedia:Classical_mathematics dbpedia:Computability_theory dbpedia:Elementary_(logic) dbpedia:End_extension dbpedia:Enumeration dbpedia:Epsilon_calculus dbpedia:Finitary dbpedia:Herbrand_interpretation dbpedia:Impredicativity dbpedia:Inhabited_set dbpedia:Institution_(computer_science) dbpedia:Institutional_model_theory dbpedia:LF_(logical_framework) dbpedia:Metamath dbpedia:List_of_mathematical_logic_topics dbpedia:Metatheorem dbpedia:Object_theory dbpedia:Object_language dbpedia:On_Formally_Undecidable_Propositions_o...cipia_Mathematica_and_Related_Systems dbpedia:Original_proof_of_Gödel's_completeness_theorem dbpedia:Peirce's_law dbpedia:Proof_sketch_for_Gödel's_first_incompleteness_theorem dbpedia:Rational_consequence_relation dbpedia:Rosser's_trick dbpedia:Rules_of_passage_(logic) dbpedia:Smooth_infinitesimal_analysis dbpedia:True_arithmetic dbpedia:Outline_of_logic dbpedia:Recursive_definition dbpedia:Residuated_lattice dbpedia:Vacuous_truth dbpedia:Łukasiewicz_logic dbpedia:Predicate_functor_logic dbpedia:Qualitative_calculus dbpedia:Residuated_Boolean_algebra dbpedia:Semicomputable_function dbpedia:Static_discipline dbpedia:Substitution_instance dbpedia:Superposition_calculus dbpedia:T-schema dbpedia:Primitive_notion dbpedia:Proof_of_impossibility dbpedia:Relation_algebra dbpedia:Robinson's_joint_consistency_theorem dbpedia:Tarski's_undefinability_theorem dbpedia:Timeline_of_mathematical_logic