Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Proof_theory> ?p ?o }
- Proof_theory abstract "Proof theory is a branch of mathematical logic that represents proofs as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively-defined data structures such as plain lists, boxed lists, or trees, which are constructed according to the axioms and rules of inference of the logical system. As such, proof theory is syntactic in nature, in contrast to model theory, which is semantic in nature. Together with model theory, axiomatic set theory, and recursion theory, proof theory is one of the so-called four pillars of the foundations of mathematics.Some of the major areas of proof theory include structural proof theory, ordinal analysis, provability logic, reverse mathematics, proof mining, automated theorem proving, and proof complexity. Much research also focuses on applications in computer science, linguistics, and philosophy.".
- Proof_theory wikiPageExternalLink proof-theory-development.
- Proof_theory wikiPageExternalLink infinite.pdf.
- Proof_theory wikiPageExternalLink ?p=74ab8879ce75445da488d5744cbc3818&pi=0.
- Proof_theory wikiPageID "183478".
- Proof_theory wikiPageLength "18465".
- Proof_theory wikiPageOutDegree "106".
- Proof_theory wikiPageRevisionID "695564406".
- Proof_theory wikiPageWikiLink Alan_Turing.
- Proof_theory wikiPageWikiLink Analytic_proof.
- Proof_theory wikiPageWikiLink Anne_Sjerp_Troelstra.
- Proof_theory wikiPageWikiLink Arithmetical_hierarchy.
- Proof_theory wikiPageWikiLink Automated_theorem_proving.
- Proof_theory wikiPageWikiLink Axiom.
- Proof_theory wikiPageWikiLink Axiom_of_choice.
- Proof_theory wikiPageWikiLink Bertrand_Russell.
- Proof_theory wikiPageWikiLink Bharath_Sriraman.
- Proof_theory wikiPageWikiLink Cartesian_closed_category.
- Proof_theory wikiPageWikiLink Categorial_grammar.
- Proof_theory wikiPageWikiLink Category:Mathematical_logic.
- Proof_theory wikiPageWikiLink Category:Metalogic.
- Proof_theory wikiPageWikiLink Category:Proof_theory.
- Proof_theory wikiPageWikiLink Classical_logic.
- Proof_theory wikiPageWikiLink Combinatorial_proof.
- Proof_theory wikiPageWikiLink Computability_theory.
- Proof_theory wikiPageWikiLink Curry–Howard_correspondence.
- Proof_theory wikiPageWikiLink Cut-elimination_theorem.
- Proof_theory wikiPageWikiLink Dag_Prawitz.
- Proof_theory wikiPageWikiLink Data_structure.
- Proof_theory wikiPageWikiLink David_Hilbert.
- Proof_theory wikiPageWikiLink Diagonal_lemma.
- Proof_theory wikiPageWikiLink Formal_semantics_(logic).
- Proof_theory wikiPageWikiLink Foundations_of_mathematics.
- Proof_theory wikiPageWikiLink Gerhard_Gentzen.
- Proof_theory wikiPageWikiLink Giuseppe_Peano.
- Proof_theory wikiPageWikiLink Gottlob_Frege.
- Proof_theory wikiPageWikiLink Gxc3xb6dels_incompleteness_theorems.
- Proof_theory wikiPageWikiLink Harvey_Friedman.
- Proof_theory wikiPageWikiLink Hilbert_system.
- Proof_theory wikiPageWikiLink Hilberts_program.
- Proof_theory wikiPageWikiLink Infimum_and_supremum.
- Proof_theory wikiPageWikiLink Intermediate_logic.
- Proof_theory wikiPageWikiLink Intuitionistic_logic.
- Proof_theory wikiPageWikiLink Intuitionistic_type_theory.
- Proof_theory wikiPageWikiLink J._Barkley_Rosser.
- Proof_theory wikiPageWikiLink Jan_Łukasiewicz.
- Proof_theory wikiPageWikiLink Jean-Yves_Girard.
- Proof_theory wikiPageWikiLink Kurt_Gödel.
- Proof_theory wikiPageWikiLink Linear_logic.
- Proof_theory wikiPageWikiLink Linguistics.
- Proof_theory wikiPageWikiLink Mathematical_logic.
- Proof_theory wikiPageWikiLink Mathematical_object.
- Proof_theory wikiPageWikiLink Mathematical_proof.
- Proof_theory wikiPageWikiLink Modal_logic.
- Proof_theory wikiPageWikiLink Model_theory.
- Proof_theory wikiPageWikiLink Montague_grammar.
- Proof_theory wikiPageWikiLink Natural_deduction.
- Proof_theory wikiPageWikiLink Natural_language_semantics.
- Proof_theory wikiPageWikiLink Ordinal_analysis.
- Proof_theory wikiPageWikiLink Peano_axioms.
- Proof_theory wikiPageWikiLink Peer_review.
- Proof_theory wikiPageWikiLink Per_Martin-Löf.
- Proof_theory wikiPageWikiLink Predicate_logic.
- Proof_theory wikiPageWikiLink Proof_(truth).
- Proof_theory wikiPageWikiLink Proof_assistant.
- Proof_theory wikiPageWikiLink Proof_calculus.
- Proof_theory wikiPageWikiLink Proof_complexity.
- Proof_theory wikiPageWikiLink Proof_mining.
- Proof_theory wikiPageWikiLink Proof_net.
- Proof_theory wikiPageWikiLink Propositional_calculus.
- Proof_theory wikiPageWikiLink Provability_logic.
- Proof_theory wikiPageWikiLink Real_number.
- Proof_theory wikiPageWikiLink Relevance_logic.
- Proof_theory wikiPageWikiLink Reverse_mathematics.
- Proof_theory wikiPageWikiLink Richard_Dedekind.
- Proof_theory wikiPageWikiLink Robert_M._Solovay.
- Proof_theory wikiPageWikiLink Rule_of_inference.
- Proof_theory wikiPageWikiLink Self-verifying_theories.
- Proof_theory wikiPageWikiLink Sequent_calculus.
- Proof_theory wikiPageWikiLink Set_theory.
- Proof_theory wikiPageWikiLink Solomon_Feferman.
- Proof_theory wikiPageWikiLink Stanford_Encyclopedia_of_Philosophy.
- Proof_theory wikiPageWikiLink Stanisław_Jaśkowski.
- Proof_theory wikiPageWikiLink Structural_proof_theory.
- Proof_theory wikiPageWikiLink Substructural_logic.
- Proof_theory wikiPageWikiLink Syntax_(logic).
- Proof_theory wikiPageWikiLink Theorem.
- Proof_theory wikiPageWikiLink Theory_(mathematical_logic).
- Proof_theory wikiPageWikiLink Type-logical_grammar.
- Proof_theory wikiPageWikiLink Type_theory.
- Proof_theory wikiPageWikiLink Typed_lambda_calculus.
- Proof_theory wikiPageWikiLink Van_Nostrand.
- Proof_theory wikiPageWikiLink Zermelo–Fraenkel_set_theory.
- Proof_theory wikiPageWikiLink Zorns_lemma.
- Proof_theory wikiPageWikiLink Ω-consistent_theory.
- Proof_theory wikiPageWikiLinkText "Analytic philosophy".
- Proof_theory wikiPageWikiLinkText "Proof theory".
- Proof_theory wikiPageWikiLinkText "Proof-theoretically".
- Proof_theory wikiPageWikiLinkText "derive".
- Proof_theory wikiPageWikiLinkText "formal and informal proofs".