@prefix skos:	<http://www.w3.org/2004/02/skos/core#> .
@prefix dbpedia:	<http://dbpedia.org/resource/> .
@prefix ns2:	<http://dbpedia.org/resource/Category:> .
dbpedia:Algorithm	skos:subject	ns2:Mathematical_logic .
dbpedia:Recursion	skos:subject	ns2:Mathematical_logic .
dbpedia:Set_theory	skos:subject	ns2:Mathematical_logic .
dbpedia:Metalogic	skos:subject	ns2:Mathematical_logic .
dbpedia:Proof_theory	skos:subject	ns2:Mathematical_logic .
dbpedia:Surreal_number	skos:subject	ns2:Mathematical_logic .
dbpedia:Naive_set_theory	skos:subject	ns2:Mathematical_logic .
dbpedia:Complete_theory	skos:subject	ns2:Mathematical_logic .
dbpedia:Heyting_algebra	skos:subject	ns2:Mathematical_logic .
dbpedia:Contraposition	skos:subject	ns2:Mathematical_logic .
dbpedia:Rewriting	skos:subject	ns2:Mathematical_logic .
dbpedia:Completeness	skos:subject	ns2:Mathematical_logic .
dbpedia:Abstract_algebraic_logic	skos:subject	ns2:Mathematical_logic .
dbpedia:Algebraic_logic	skos:subject	ns2:Mathematical_logic .
ns2:Formal_languages	skos:broader	ns2:Mathematical_logic .
ns2:Logical_calculi	skos:broader	ns2:Mathematical_logic .
ns2:Mathematical_axioms	skos:broader	ns2:Mathematical_logic .
dbpedia:Bar_induction	skos:subject	ns2:Mathematical_logic .
dbpedia:Equiconsistency	skos:subject	ns2:Mathematical_logic .
<http://dbpedia.org/resource/Erasure_%28logic%29>	skos:subject	ns2:Mathematical_logic .
dbpedia:Bunched_logic	skos:subject	ns2:Mathematical_logic .
<http://dbpedia.org/resource/Turnstile_%28symbol%29>	skos:subject	ns2:Mathematical_logic .
dbpedia:Computable_model_theory	skos:subject	ns2:Mathematical_logic .
<http://dbpedia.org/resource/Craig%27s_theorem>	skos:subject	ns2:Mathematical_logic .
dbpedia:Extension_by_definitions	skos:subject	ns2:Mathematical_logic .
dbpedia:Finitary_relation	skos:subject	ns2:Mathematical_logic .
<http://dbpedia.org/resource/Glivenko%27s_theorem>	skos:subject	ns2:Mathematical_logic .
dbpedia:Hypostatic_abstraction	skos:subject	ns2:Mathematical_logic .
dbpedia:Kripke_semantics	skos:subject	ns2:Mathematical_logic .
<http://dbpedia.org/resource/Lindstr%C3%B6m%27s_theorem>	skos:subject	ns2:Mathematical_logic .
dbpedia:List_of_first-order_theories	skos:subject	ns2:Mathematical_logic .
dbpedia:Mathematical_notation	skos:subject	ns2:Mathematical_logic .
dbpedia:Mathematical_proof	skos:subject	ns2:Mathematical_logic .
dbpedia:Mathematical_logic	skos:subject	ns2:Mathematical_logic .
<http://dbpedia.org/resource/G%C3%B6del%27s_completeness_theorem>	skos:subject	ns2:Mathematical_logic ,
		ns2:Mathematical_logic .
dbpedia:Craig_interpolation	skos:subject	ns2:Mathematical_logic .
dbpedia:Logical_constant	skos:subject	ns2:Mathematical_logic .
dbpedia:Metamathematics	skos:subject	ns2:Mathematical_logic .
dbpedia:Reverse_mathematics	skos:subject	ns2:Mathematical_logic .
ns2:Algebraic_logic	skos:broader	ns2:Mathematical_logic .
<http://dbpedia.org/resource/Algebraic_%28logic%29>	skos:subject	ns2:Mathematical_logic .
dbpedia:All_horses_are_the_same_color	skos:subject	ns2:Mathematical_logic .
ns2:Automated_theorem_proving	skos:broader	ns2:Mathematical_logic .
ns2:Categorical_logic	skos:broader	ns2:Mathematical_logic .
dbpedia:Ancestral_relation	skos:subject	ns2:Mathematical_logic .
ns2:Forcing	skos:broader	ns2:Mathematical_logic .
ns2:Formal_systems	skos:broader	ns2:Mathematical_logic .
ns2:Independence_results	skos:broader	ns2:Mathematical_logic .
ns2:Mathematical_logic_organizations	skos:broader	ns2:Mathematical_logic .
ns2:Proof_theory	skos:broader	ns2:Mathematical_logic .
ns2:Set_theory	skos:broader	ns2:Mathematical_logic .
dbpedia:Leibniz_operator	skos:subject	ns2:Mathematical_logic .
dbpedia:Categorical_set_theory	skos:subject	ns2:Mathematical_logic .
dbpedia:Computable_real_function	skos:subject	ns2:Mathematical_logic .
dbpedia:Conservativity_theorem	skos:subject	ns2:Mathematical_logic .
dbpedia:Continuous_predicate	skos:subject	ns2:Mathematical_logic .
dbpedia:Cyclic_negation	skos:subject	ns2:Mathematical_logic .
dbpedia:Diagonal_lemma	skos:subject	ns2:Mathematical_logic .
dbpedia:Ground_expression	skos:subject	ns2:Mathematical_logic .
dbpedia:Harrop_formula	skos:subject	ns2:Mathematical_logic .
dbpedia:Interior_algebra	skos:subject	ns2:Mathematical_logic .
dbpedia:Inverse_relation	skos:subject	ns2:Mathematical_logic .
<http://dbpedia.org/resource/Kruskal%27s_tree_theorem>	skos:subject	ns2:Mathematical_logic .
dbpedia:Laver_table	skos:subject	ns2:Mathematical_logic .
<http://dbpedia.org/resource/Lindenbaum%27s_lemma>	skos:subject	ns2:Mathematical_logic .
dbpedia:Logical_graph	skos:subject	ns2:Mathematical_logic .
dbpedia:Table_of_mathematical_symbols	skos:subject	ns2:Mathematical_logic .
<http://dbpedia.org/resource/Tautology_%28logic%29>	skos:subject	ns2:Mathematical_logic .
dbpedia:Indicator_function	skos:subject	ns2:Mathematical_logic .
dbpedia:Contradiction	skos:subject	ns2:Mathematical_logic .
dbpedia:Method_of_analytic_tableaux	skos:subject	ns2:Mathematical_logic .
<http://dbpedia.org/resource/Curry%27s_paradox>	skos:subject	ns2:Mathematical_logic .
dbpedia:Laws_of_Form	skos:subject	ns2:Mathematical_logic .
dbpedia:Logical_machine	skos:subject	ns2:Mathematical_logic .
dbpedia:Charles_Sanders_Peirce_bibliography	skos:subject	ns2:Mathematical_logic .
<http://dbpedia.org/resource/Absoluteness_%28mathematical_logic%29>	skos:subject	ns2:Mathematical_logic .
ns2:Boolean_algebra	skos:broader	ns2:Mathematical_logic .
ns2:Logic_in_computer_science	skos:broader	ns2:Mathematical_logic .
ns2:Mathematical_logic_hierarchies	skos:broader	ns2:Mathematical_logic .
ns2:Mathematical_logicians	skos:broader	ns2:Mathematical_logic .
ns2:Modal_logic	skos:broader	ns2:Mathematical_logic .
ns2:Model_theory	skos:broader	ns2:Mathematical_logic .
dbpedia:Barwise_compactness_theorem	skos:subject	ns2:Mathematical_logic .
dbpedia:Formal_calculation	skos:subject	ns2:Mathematical_logic .
ns2:Recursion_theory	skos:broader	ns2:Mathematical_logic .
<http://dbpedia.org/resource/Brouwer%E2%80%93Heyting%E2%80%93Kolmogorov_interpretation>	skos:subject	ns2:Mathematical_logic .
dbpedia:Choice_sequence	skos:subject	ns2:Mathematical_logic .
dbpedia:Coherent_space	skos:subject	ns2:Mathematical_logic .
dbpedia:Entitative_graph	skos:subject	ns2:Mathematical_logic .
dbpedia:List_of_computability_and_complexity_topics	skos:subject	ns2:Mathematical_logic .
dbpedia:Ludics	skos:subject	ns2:Mathematical_logic .
<http://dbpedia.org/resource/L%C3%B6b%27s_theorem>	skos:subject	ns2:Mathematical_logic .
dbpedia:Negational_normal_form	skos:subject	ns2:Mathematical_logic .
dbpedia:Non-classical_analysis	skos:subject	ns2:Mathematical_logic .
dbpedia:Mathematical_induction	skos:subject	ns2:Mathematical_logic .
dbpedia:Entscheidungsproblem	skos:subject	ns2:Mathematical_logic .
<http://dbpedia.org/resource/G%C3%B6del_number>	skos:subject	ns2:Mathematical_logic ,
		ns2:Mathematical_logic .
dbpedia:Principia_Mathematica	skos:subject	ns2:Mathematical_logic .
<http://dbpedia.org/resource/G%C3%B6del%27s_incompleteness_theorems>	skos:subject	ns2:Mathematical_logic .
dbpedia:Model_theory	skos:subject	ns2:Mathematical_logic .
<http://dbpedia.org/resource/Hilbert%27s_program>	skos:subject	ns2:Mathematical_logic .
dbpedia:Intuitionistic_logic	skos:subject	ns2:Mathematical_logic .
dbpedia:Game_semantics	skos:subject	ns2:Mathematical_logic .
dbpedia:Formal_system	skos:subject	ns2:Mathematical_logic .
dbpedia:Foundations_of_mathematics	skos:subject	ns2:Mathematical_logic .
dbpedia:Herbrand_structure	skos:subject	ns2:Mathematical_logic .
dbpedia:Quantum_logic	skos:subject	ns2:Mathematical_logic .
<http://dbpedia.org/resource/Stratification_%28mathematics%29>	skos:subject	ns2:Mathematical_logic .
dbpedia:Natural_deduction	skos:subject	ns2:Mathematical_logic .
ns2:Formal_theories_of_arithmetic	skos:broader	ns2:Mathematical_logic .
dbpedia:Attributional_calculus	skos:subject	ns2:Mathematical_logic .
@prefix rdf:	<http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
ns2:Mathematical_logic	rdf:type	skos:Concept .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
ns2:Mathematical_logic	rdfs:label	"Mathematical logic"@en ;
	skos:prefLabel	"Mathematical logic"@en ;
	skos:broader	ns2:Mathematics ,
		ns2:Logic .
dbpedia:Beth_definability	skos:subject	ns2:Mathematical_logic .
dbpedia:Classical_mathematics	skos:subject	ns2:Mathematical_logic .
ns2:Quantification	skos:broader	ns2:Mathematical_logic .
ns2:Recursion	skos:broader	ns2:Mathematical_logic .
ns2:Systems_of_formal_logic	skos:broader	ns2:Mathematical_logic .
dbpedia:Computability_theory	skos:subject	ns2:Mathematical_logic .
<http://dbpedia.org/resource/Elementary_%28logic%29>	skos:subject	ns2:Mathematical_logic .
dbpedia:End_extension	skos:subject	ns2:Mathematical_logic .
dbpedia:Enumeration	skos:subject	ns2:Mathematical_logic .
dbpedia:Epsilon_calculus	skos:subject	ns2:Mathematical_logic .
dbpedia:Finitary	skos:subject	ns2:Mathematical_logic .
dbpedia:Herbrand_interpretation	skos:subject	ns2:Mathematical_logic .
dbpedia:Impredicativity	skos:subject	ns2:Mathematical_logic .
dbpedia:Inhabited_set	skos:subject	ns2:Mathematical_logic .
<http://dbpedia.org/resource/Institution_%28computer_science%29>	skos:subject	ns2:Mathematical_logic .
dbpedia:Institutional_model_theory	skos:subject	ns2:Mathematical_logic .
<http://dbpedia.org/resource/LF_%28logical_framework%29>	skos:subject	ns2:Mathematical_logic .
dbpedia:Metamath	skos:subject	ns2:Mathematical_logic .
dbpedia:List_of_mathematical_logic_topics	skos:subject	ns2:Mathematical_logic .
dbpedia:Metatheorem	skos:subject	ns2:Mathematical_logic .
dbpedia:Object_theory	skos:subject	ns2:Mathematical_logic .
dbpedia:Object_language	skos:subject	ns2:Mathematical_logic .
dbpedia:On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems	skos:subject	ns2:Mathematical_logic .
<http://dbpedia.org/resource/Original_proof_of_G%C3%B6del%27s_completeness_theorem>	skos:subject	ns2:Mathematical_logic ,
		ns2:Mathematical_logic ,
		ns2:Mathematical_logic .
dbpedia:Rational_consequence_relation	skos:subject	ns2:Mathematical_logic .
<http://dbpedia.org/resource/Rosser%27s_trick>	skos:subject	ns2:Mathematical_logic ,
		ns2:Mathematical_logic .
dbpedia:Smooth_infinitesimal_analysis	skos:subject	ns2:Mathematical_logic .
dbpedia:True_arithmetic	skos:subject	ns2:Mathematical_logic .
dbpedia:Outline_of_logic	skos:subject	ns2:Mathematical_logic .
dbpedia:Recursive_definition	skos:subject	ns2:Mathematical_logic .
dbpedia:Residuated_lattice	skos:subject	ns2:Mathematical_logic .
dbpedia:Vacuous_truth	skos:subject	ns2:Mathematical_logic .
<http://dbpedia.org/resource/%C5%81ukasiewicz_logic>	skos:subject	ns2:Mathematical_logic .
dbpedia:Predicate_functor_logic	skos:subject	ns2:Mathematical_logic .
dbpedia:Qualitative_calculus	skos:subject	ns2:Mathematical_logic .
dbpedia:Residuated_Boolean_algebra	skos:subject	ns2:Mathematical_logic .
dbpedia:Semicomputable_function	skos:subject	ns2:Mathematical_logic .
dbpedia:Static_discipline	skos:subject	ns2:Mathematical_logic .
dbpedia:Substitution_instance	skos:subject	ns2:Mathematical_logic .
dbpedia:Superposition_calculus	skos:subject	ns2:Mathematical_logic .
dbpedia:T-schema	skos:subject	ns2:Mathematical_logic .
dbpedia:Primitive_notion	skos:subject	ns2:Mathematical_logic .
dbpedia:Proof_of_impossibility	skos:subject	ns2:Mathematical_logic .
dbpedia:Relation_algebra	skos:subject	ns2:Mathematical_logic .
<http://dbpedia.org/resource/Robinson%27s_joint_consistency_theorem>	skos:subject	ns2:Mathematical_logic ,
		ns2:Mathematical_logic .
dbpedia:Timeline_of_mathematical_logic	skos:subject	ns2:Mathematical_logic .