Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Sequent_calculus> ?p ?o. }
Showing items 1 to 33 of
33
with 100 items per page.
- Sequent_calculus abstract "In proof theory and mathematical logic, sequent calculus is a family of formal systems sharing a certain style of inference and certain formal properties. The first sequent calculi, systems LK and LJ, were introduced by Gerhard Gentzen in 1934 as a tool for studying natural deduction in first-order logic (in classical and intuitionistic versions, respectively). Gentzen's so-called "Main Theorem" (Hauptsatz) about LK and LJ was the cut-elimination theorem, a result with far-reaching meta-theoretic consequences, including consistency. Gentzen further demonstrated the power and flexibility of this technique a few years later, applying a cut-elimination argument to give a (transfinite) proof of the consistency of Peano arithmetic, in surprising response to Gödel's incompleteness theorems. Since this early work, sequent calculi (also called Gentzen systems) and the general concepts relating to them have been widely applied in the fields of proof theory, mathematical logic, and automated deduction.".
- Sequent_calculus wikiPageExternalLink ?PPN=GDZPPN002375508.
- Sequent_calculus wikiPageExternalLink ?PPN=GDZPPN002375605.
- Sequent_calculus wikiPageExternalLink tutorial.
- Sequent_calculus wikiPageExternalLink handbookI.
- Sequent_calculus wikiPageExternalLink a-brief-diversion-sequent-calc.
- Sequent_calculus wikiPageExternalLink Proofs%2BTypes.html.
- Sequent_calculus wikiPageID "252329".
- Sequent_calculus wikiPageRevisionID "605288717".
- Sequent_calculus hasPhotoCollection Sequent_calculus.
- Sequent_calculus id "p/s084580".
- Sequent_calculus title "Sequent calculus".
- Sequent_calculus subject Category:Automated_theorem_proving.
- Sequent_calculus subject Category:Logical_calculi.
- Sequent_calculus subject Category:Proof_theory.
- Sequent_calculus comment "In proof theory and mathematical logic, sequent calculus is a family of formal systems sharing a certain style of inference and certain formal properties. The first sequent calculi, systems LK and LJ, were introduced by Gerhard Gentzen in 1934 as a tool for studying natural deduction in first-order logic (in classical and intuitionistic versions, respectively).".
- Sequent_calculus label "Calcul des séquents".
- Sequent_calculus label "Cálculo de sequentes".
- Sequent_calculus label "Sekwenty Gentzena".
- Sequent_calculus label "Sequent calculus".
- Sequent_calculus label "Sequenzenkalkül".
- Sequent_calculus label "シークエント計算".
- Sequent_calculus label "相继式演算".
- Sequent_calculus sameAs Sequenzenkalkül.
- Sequent_calculus sameAs Calcul_des_séquents.
- Sequent_calculus sameAs シークエント計算.
- Sequent_calculus sameAs Sekwenty_Gentzena.
- Sequent_calculus sameAs Cálculo_de_sequentes.
- Sequent_calculus sameAs m.01lfnc.
- Sequent_calculus sameAs Q1771121.
- Sequent_calculus sameAs Q1771121.
- Sequent_calculus wasDerivedFrom Sequent_calculus?oldid=605288717.
- Sequent_calculus isPrimaryTopicOf Sequent_calculus.