About: Proof theory

Property	Value
rdf:type	skos:Concept
rdfs:label	Proof theory
skos:broader	dbpedia:Category:Proofs dbpedia:Category:Theories_of_deduction dbpedia:Category:Mathematical_logic
skos:prefLabel	Proof theory
is skos:broader of	dbpedia:Category:Rules_of_inference dbpedia:Category:Substructural_logic
is skos:subject of	dbpedia:Proof_theory dbpedia:Metalanguage dbpedia:Soundness dbpedia:Completeness dbpedia:Analytic_proof dbpedia:Consistency dbpedia:Bounded_quantifier dbpedia:Undecidable_problem dbpedia:Completeness_of_atomic_initial_sequents dbpedia:Disjunction_and_existence_properties dbpedia:Extension_by_definitions dbpedia:Feferman–Schütte_ordinal dbpedia:Interpretability dbpedia:Invalid_proof dbpedia:Gödel's_completeness_theorem dbpedia:Decidability_(logic) dbpedia:Deduction_theorem dbpedia:Reverse_mathematics dbpedia:Independence_(mathematical_logic) dbpedia:Conservative_extension dbpedia:Conservativity_theorem dbpedia:Dialectica_interpretation dbpedia:Gentzen's_consistency_proof dbpedia:Geometry_of_interaction dbpedia:Judgment_(mathematical_logic) dbpedia:Peano_axioms dbpedia:Hilbert_system dbpedia:Presburger_arithmetic dbpedia:Formal_proof dbpedia:Method_of_analytic_tableaux dbpedia:Herbrand's_theorem dbpedia:Sequent_calculus dbpedia:Proof_procedure dbpedia:Church–Kleene_ordinal dbpedia:Deductive_system dbpedia:Friedman_translation dbpedia:Gödel–Gentzen_negative_translation dbpedia:Large_countable_ordinal dbpedia:Ordinal_analysis dbpedia:Ordinal_notation dbpedia:Mathematical_induction dbpedia:Gödel's_incompleteness_theorems dbpedia:Hilbert's_program dbpedia:Formal_system dbpedia:Cut-elimination_theorem dbpedia:Natural_deduction dbpedia:Bachmann–Howard_ordinal dbpedia:Structural_rule dbpedia:Takeuti_conjecture dbpedia:Undecidable dbpedia:Curry–Howard_correspondence dbpedia:Decidable_sublanguages_of_set_theory dbpedia:Deep_inference dbpedia:Epsilon_calculus dbpedia:Original_proof_of_Gödel's_completeness_theorem dbpedia:Proof_calculus dbpedia:Proof_mining dbpedia:Proof_net dbpedia:Self-verifying_theories dbpedia:Tolerant_sequence dbpedia:Weak_interpretability dbpedia:NuPRL dbpedia:Proof-theoretic_semantics dbpedia:Pure_type_system dbpedia:Paraconsistent_mathematics dbpedia:Peano-Russell_notation dbpedia:Provability_logic dbpedia:Sequent dbpedia:Ω-consistent_theory dbpedia:Primitive_recursive_functional dbpedia:Realizability dbpedia:Setoid dbpedia:Structural_proof_theory dbpedia:Veblen_function