About: Mathematical logic

Property	Value
rdf:type	skos:Concept
rdfs:label	Mathematical logic (en)
skos:broader	dbpedia:Category:Logic dbpedia:Category:Mathematics
skos:prefLabel	Mathematical logic (en)
is skos:broader of	dbpedia:Category:Sentential_logic dbpedia:Category:Formal_languages dbpedia:Category:Mathematical_axioms dbpedia:Category:Logical_calculi dbpedia:Category:Algebraic_logic dbpedia:Category:Set_theory dbpedia:Category:Proof_theory dbpedia:Category:Automated_theorem_proving dbpedia:Category:Forcing dbpedia:Category:Categorical_logic dbpedia:Category:Independence_results dbpedia:Category:Boolean_algebra dbpedia:Category:Logic_in_computer_science dbpedia:Category:Modal_logic dbpedia:Category:Recursion_theory dbpedia:Category:Model_theory dbpedia:Category:Mathematical_logic_hierarchies dbpedia:Category:Mathematical_logicians dbpedia:Category:Quantification dbpedia:Category:Systems_of_formal_logic dbpedia:Category:Formal_theories_of_arithmetic
is skos:subject of	dbpedia:Algorithm dbpedia:Contraposition dbpedia:Recursion dbpedia:Set_theory dbpedia:Surreal_number dbpedia:Abstract_algebraic_logic dbpedia:Heyting_algebra dbpedia:Completeness dbpedia:Proof_theory dbpedia:Algebraic_logic dbpedia:Bar_induction dbpedia:Metalogic dbpedia:Naive_set_theory dbpedia:New_Foundations dbpedia:Rewriting dbpedia:Bunched_logic dbpedia:Complete_theory dbpedia:Computable_model_theory dbpedia:Kripke_semantics dbpedia:Craig%27s_theorem dbpedia:Peirce%27s_law dbpedia:Derivative_algebra_%28abstract_algebra%29 dbpedia:Equiconsistency dbpedia:Erasure_%28logic%29 dbpedia:Extension_by_definitions dbpedia:Finitary_relation dbpedia:Generalization_%28logic%29 dbpedia:Glivenko%27s_theorem dbpedia:Hypostatic_abstraction dbpedia:List_of_first-order_theories dbpedia:MV-algebra dbpedia:Turnstile_%28symbol%29 dbpedia:On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems dbpedia:Original_proof_of_G%C3%B6del%27s_completeness_theorem dbpedia:Proof_sketch_for_G%C3%B6del%27s_first_incompleteness_theorem dbpedia:Rational_consequence_relation dbpedia:Rosser%27s_trick dbpedia:Rules_of_passage_%28logic%29 dbpedia:Smooth_infinitesimal_analysis dbpedia:All_horses_are_the_same_color dbpedia:Mathematical_proof dbpedia:Action_algebra dbpedia:Additively_indecomposable_ordinal dbpedia:Mathematical_logic dbpedia:Mathematical_notation dbpedia:Ancestral_relation dbpedia:Craig_interpolation dbpedia:Universe_%28mathematics%29 dbpedia:G%C3%B6del%27s_completeness_theorem dbpedia:Association_for_Symbolic_Logic dbpedia:Metamathematics dbpedia:Reverse_mathematics dbpedia:Categorical_set_theory dbpedia:Computable_real_function dbpedia:Conservativity_theorem dbpedia:Continuous_predicate dbpedia:Cyclic_negation dbpedia:Recursive_definition dbpedia:Diagonal_lemma dbpedia:Ground_expression dbpedia:Harrop_formula dbpedia:Logical_graph dbpedia:Index_set_%28recursion_theory%29 dbpedia:Interior_algebra dbpedia:Inverse_relation dbpedia:Lindenbaum%27s_lemma dbpedia:Kruskal%27s_tree_theorem dbpedia:Laver_table dbpedia:Leibniz_operator dbpedia:Logical_constant dbpedia:Residuated_lattice dbpedia:%C5%81ukasiewicz_logic dbpedia:Topic_outline_of_logic dbpedia:Vacuous_truth dbpedia:First-order_logic dbpedia:Curry%27s_paradox dbpedia:Absoluteness_%28mathematical_logic%29 dbpedia:Tautology_%28logic%29 dbpedia:Charles_Sanders_Peirce_bibliography dbpedia:Contradiction dbpedia:Indicator_function dbpedia:Barwise_compactness_theorem dbpedia:Laws_of_Form dbpedia:Logical_machine dbpedia:Method_of_analytic_tableaux dbpedia:Table_of_mathematical_symbols dbpedia:Brouwer%E2%80%93Heyting%E2%80%93Kolmogorov_interpretation dbpedia:Choice_sequence dbpedia:Coherent_space dbpedia:Computability_in_Europe dbpedia:L%C3%B6b%27s_theorem dbpedia:Tarski%27s_undefinability_theorem dbpedia:Entitative_graph dbpedia:Formal_calculation dbpedia:Primitive_notion dbpedia:List_of_computability_and_complexity_topics dbpedia:Ludics dbpedia:Relation_algebra dbpedia:Non-classical_analysis dbpedia:Proof_of_impossibility dbpedia:Robinson%27s_joint_consistency_theorem dbpedia:Timeline_of_mathematical_logic dbpedia:Mathematical_induction dbpedia:Entscheidungsproblem dbpedia:Intuitionistic_logic dbpedia:Foundations_of_mathematics dbpedia:G%C3%B6del%27s_incompleteness_theorems dbpedia:Model_theory dbpedia:Operation_%28mathematics%29 dbpedia:Principia_Mathematica dbpedia:Formal_system dbpedia:Game_semantics dbpedia:G%C3%B6del_number dbpedia:Herbrand_structure dbpedia:Hilbert%27s_program dbpedia:Attributional_calculus dbpedia:Natural_deduction dbpedia:Beth_definability dbpedia:Stratification_%28mathematics%29 dbpedia:Enumeration dbpedia:Classical_mathematics dbpedia:Impredicativity dbpedia:End_extension dbpedia:Recursion_theory dbpedia:Epsilon_calculus dbpedia:Finitary dbpedia:Herbrand_interpretation dbpedia:Inhabited_set dbpedia:Institution_%28computer_science%29 dbpedia:Institutional_model_theory dbpedia:LF_%28logical_framework%29 dbpedia:List_of_mathematical_logic_topics dbpedia:Lindenbaum%E2%80%93Tarski_algebra dbpedia:Residuated_Boolean_algebra dbpedia:T-schema dbpedia:Metamath dbpedia:Metatheorem dbpedia:Object_theory dbpedia:Predicate_functor_logic dbpedia:Static_discipline dbpedia:Substitution_instance dbpedia:Superposition_calculus