About: Proof theory

An Entity of Type: Concept, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Property	Value
dbo:wikiPageID	693693 (xsd:integer)
dbo:wikiPageRevisionID	953110220 (xsd:integer)
dbp:wikiPageUsesTemplate	dbt:Commons_category dbt:Portal dbt:Cat_main dbt:Contrast
rdf:type	skos:Concept
rdfs:label	Proof theory (en)
skos:broader	dbc:Syntax_(logic) dbc:Mathematical_proofs dbc:Mathematical_logic dbc:Theories dbc:Metalogic
skos:prefLabel	Proof theory (en)
prov:wasDerivedFrom	wikipedia-en:Category:Proof_theory?oldid=953110220&ns=14
is dbo:wikiPageWikiLink of	dbr:Proof_(truth) dbr:Proof_net dbr:Elementary_function_arithmetic dbr:Proof_compression dbr:Resolution_(logic) dbr:Resolution_proof_reduction_via_local_context_rewriting dbr:Reverse_mathematics dbr:Cut-elimination_theorem dbr:Decidability_(logic) dbr:Decidable_sublanguages_of_set_theory dbr:Deduction_theorem dbr:Deep_inference dbr:Double-negation_translation dbr:Independence_(mathematical_logic) dbr:Interpretability dbr:Presburger_arithmetic dbr:Structural_proof_theory dbr:Consistency dbr:Analytic_proof dbr:Geometry_of_interaction dbr:LowerUnits dbr:Redundant_proof dbr:Structural_rule dbr:Gentzen's_consistency_proof dbr:Bounded_quantifier dbr:Conservative_extension dbr:Theories_of_iterated_inductive_definitions dbr:Epsilon_calculus dbr:Proof-theoretic_semantics dbr:Ordinal_analysis dbr:Ordinal_notation dbr:Completeness_(logic) dbr:Completeness_of_atomic_initial_sequents dbr:Feferman–Schütte_ordinal dbr:Friedman_translation dbr:Hardy_hierarchy dbr:Pure_type_system dbr:Mathematical_fallacy dbr:Disjunction_and_existence_properties dbr:Gödel's_completeness_theorem dbr:Gödel's_speed-up_theorem dbr:Japaridze's_polymodal_logic dbr:Lambda-mu_calculus dbr:Large_countable_ordinal dbr:Primitive_recursive_functional dbr:Curry–Howard_correspondence dbr:Nonrecursive_ordinal dbr:Dialectica_interpretation dbr:Fast-growing_hierarchy dbr:Focused_proof dbr:Formal_proof dbr:Hilbert's_program dbr:Judgment_(mathematical_logic) dbr:Natural_deduction dbr:Proof_procedure dbr:Proof_theory dbr:Gödel's_incompleteness_theorems dbr:Herbrand's_theorem dbr:Hilbert_system dbr:Bachmann–Howard_ordinal dbr:Hypersequent dbr:Peano–Russell_notation dbr:Takeuti's_conjecture dbr:Provability_logic dbr:Realizability dbr:Büchi_arithmetic dbr:Cirquent_calculus dbr:Metalanguage dbr:Buchholz's_ordinal dbr:Original_proof_of_Gödel's_completeness_theorem dbr:Proof_calculus dbr:Sequent_calculus dbr:Sequent dbr:Soundness dbr:Turnstile_(symbol) dbr:VIPER_microprocessor dbr:Nested_sequent_calculus dbr:Extension_by_definitions dbr:Extension_by_new_constant_and_function_names dbr:Self-verifying_theories dbr:Proof_mining dbr:System_U dbr:Weak_interpretability dbr:Setoid dbr:Ω-consistent_theory dbr:Tolerant_sequence dbr:Non-surveyable_proof dbr:Resolution_proof_compression_by_splitting dbr:Reverse_Mathematics:_Proofs_from_the_Inside_Out dbr:Paraconsistent_mathematics dbr:Veblen_function dbr:Slicing_the_Truth dbr:Slow-growing_hierarchy dbr:Takeuti–Feferman–Buchholz_ordinal
is dcterms:subject of	dbr:Proof_(truth) dbr:Proof_net dbr:Elementary_function_arithmetic dbr:Proof_compression dbr:Resolution_(logic) dbr:Resolution_proof_reduction_via_local_context_rewriting dbr:Reverse_mathematics dbr:Cut-elimination_theorem dbr:Decidability_(logic) dbr:Decidable_sublanguages_of_set_theory dbr:Deduction_theorem dbr:Deep_inference dbr:Double-negation_translation dbr:Independence_(mathematical_logic) dbr:Interpretability dbr:Presburger_arithmetic dbr:Structural_proof_theory dbr:Consistency dbr:Analytic_proof dbr:Geometry_of_interaction dbr:LowerUnits dbr:Redundant_proof dbr:Structural_rule dbr:Gentzen's_consistency_proof dbr:Bounded_quantifier dbr:Conservative_extension dbr:Theories_of_iterated_inductive_definitions dbr:Epsilon_calculus dbr:Proof-theoretic_semantics dbr:Ordinal_analysis dbr:Ordinal_notation dbr:Completeness_(logic) dbr:Completeness_of_atomic_initial_sequents dbr:Feferman–Schütte_ordinal dbr:Friedman_translation dbr:Hardy_hierarchy dbr:Pure_type_system dbr:Mathematical_fallacy dbr:Disjunction_and_existence_properties dbr:Gödel's_completeness_theorem dbr:Gödel's_speed-up_theorem dbr:Japaridze's_polymodal_logic dbr:Lambda-mu_calculus dbr:Large_countable_ordinal dbr:Primitive_recursive_functional dbr:Curry–Howard_correspondence dbr:Nonrecursive_ordinal dbr:Dialectica_interpretation dbr:Fast-growing_hierarchy dbr:Focused_proof dbr:Formal_proof dbr:Hilbert's_program dbr:Judgment_(mathematical_logic) dbr:Natural_deduction dbr:Proof_procedure dbr:Proof_theory dbr:Gödel's_incompleteness_theorems dbr:Herbrand's_theorem dbr:Hilbert_system dbr:Bachmann–Howard_ordinal dbr:Hypersequent dbr:Peano–Russell_notation dbr:Takeuti's_conjecture dbr:Provability_logic dbr:Realizability dbr:Büchi_arithmetic dbr:Cirquent_calculus dbr:Metalanguage dbr:Buchholz's_ordinal dbr:Original_proof_of_Gödel's_completeness_theorem dbr:Proof_calculus dbr:Sequent_calculus dbr:Sequent dbr:Soundness dbr:Turnstile_(symbol) dbr:VIPER_microprocessor dbr:Nested_sequent_calculus dbr:Extension_by_definitions dbr:Extension_by_new_constant_and_function_names dbr:Self-verifying_theories dbr:Proof_mining dbr:System_U dbr:Weak_interpretability dbr:Setoid dbr:Ω-consistent_theory dbr:Tolerant_sequence dbr:Non-surveyable_proof dbr:Resolution_proof_compression_by_splitting dbr:Reverse_Mathematics:_Proofs_from_the_Inside_Out dbr:Paraconsistent_mathematics dbr:Veblen_function dbr:Slicing_the_Truth dbr:Slow-growing_hierarchy dbr:Takeuti–Feferman–Buchholz_ordinal
is skos:broader of	dbc:Proof_theorists dbc:Methods_of_proof dbc:Provability_logic dbc:Mathematical_induction dbc:Rules_of_inference dbc:Substructural_logic
is skos:related of	dbc:Mathematical_proofs

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License