Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Deep_inference> ?p ?o }
Showing triples 1 to 33 of
33
with 100 triples per page.
- Deep_inference abstract "Deep inference names a general idea in structural proof theory that breaks with the classical sequent calculus by generalising the notion of structure to permit inference to occur in contexts of high structural complexity. The term deep inference is generally reserved for proof calculi where the structural complexity is unbounded; in this article we will use non-shallow inference to refer to calculi that have structural complexity greater than the sequent calculus, but not unboundedly so, although this is not at present established terminology.Deep inference is not important in logic outside of structural proof theory, since the phenomena that lead to the proposal of formal systems with deep inference are all related to the cut-elimination theorem. The first calculus of deep inference was proposed by Kurt Schütte, but the idea did not generate much interest at the time.Nuel Belnap proposed display logic in an attempt to characterise the essence of structural proof theory. The calculus of structures was proposed in order to give a cut-free characterisation of noncommutative logic.".
- Deep_inference wikiPageExternalLink index.html.
- Deep_inference wikiPageExternalLink phd.pdf.
- Deep_inference wikiPageID "1250664".
- Deep_inference wikiPageLength "1732".
- Deep_inference wikiPageOutDegree "13".
- Deep_inference wikiPageRevisionID "527457726".
- Deep_inference wikiPageWikiLink Abstract_structure.
- Deep_inference wikiPageWikiLink Calculus_of_structures.
- Deep_inference wikiPageWikiLink Category:Inference.
- Deep_inference wikiPageWikiLink Category:Proof_theory.
- Deep_inference wikiPageWikiLink Cut-elimination_theorem.
- Deep_inference wikiPageWikiLink Formal_system.
- Deep_inference wikiPageWikiLink Kurt_Schütte.
- Deep_inference wikiPageWikiLink Noncommutative_logic.
- Deep_inference wikiPageWikiLink Nuel_Belnap.
- Deep_inference wikiPageWikiLink Proof_calculus.
- Deep_inference wikiPageWikiLink Sequent_calculus.
- Deep_inference wikiPageWikiLink Structural_proof_theory.
- Deep_inference wikiPageWikiLinkText "Deep inference".
- Deep_inference wikiPageWikiLinkText "deep inference".
- Deep_inference wikiPageUsesTemplate Template:Logic-stub.
- Deep_inference wikiPageUsesTemplate Template:Reflist.
- Deep_inference subject Category:Inference.
- Deep_inference subject Category:Proof_theory.
- Deep_inference type Proof.
- Deep_inference comment "Deep inference names a general idea in structural proof theory that breaks with the classical sequent calculus by generalising the notion of structure to permit inference to occur in contexts of high structural complexity.".
- Deep_inference label "Deep inference".
- Deep_inference sameAs Q5250402.
- Deep_inference sameAs m.04m58c.
- Deep_inference sameAs Q5250402.
- Deep_inference wasDerivedFrom Deep_inference?oldid=527457726.
- Deep_inference isPrimaryTopicOf Deep_inference.