Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Calculus_of_structures> ?p ?o }
Showing triples 1 to 35 of
35
with 100 triples per page.
- Calculus_of_structures abstract "The calculus of structures is a proof calculus with deep inference for studying the structural proof theory of noncommutative logic. The calculus has since been applied to study linear logic, classical logic, modal logic, and process calculi, and many benefits are claimed to follow in these investigations from the way in which deep inference is made available in the calculus.".
- Calculus_of_structures wikiPageExternalLink cos.
- Calculus_of_structures wikiPageExternalLink maude_cos.html.
- Calculus_of_structures wikiPageID "1250632".
- Calculus_of_structures wikiPageLength "970".
- Calculus_of_structures wikiPageOutDegree "11".
- Calculus_of_structures wikiPageRevisionID "274693946".
- Calculus_of_structures wikiPageWikiLink Category:Logical_calculi.
- Calculus_of_structures wikiPageWikiLink Classical_logic.
- Calculus_of_structures wikiPageWikiLink Deep_inference.
- Calculus_of_structures wikiPageWikiLink Formal_system.
- Calculus_of_structures wikiPageWikiLink Linear_logic.
- Calculus_of_structures wikiPageWikiLink Logical_system.
- Calculus_of_structures wikiPageWikiLink Maude_system.
- Calculus_of_structures wikiPageWikiLink Modal_logic.
- Calculus_of_structures wikiPageWikiLink Noncommutative_logic.
- Calculus_of_structures wikiPageWikiLink Process_calculi.
- Calculus_of_structures wikiPageWikiLink Process_calculus.
- Calculus_of_structures wikiPageWikiLink Proof_calculus.
- Calculus_of_structures wikiPageWikiLink Structural_proof_theory.
- Calculus_of_structures wikiPageWikiLinkText "Calculus of structures".
- Calculus_of_structures wikiPageWikiLinkText "calculus of structures".
- Calculus_of_structures hasPhotoCollection Calculus_of_structures.
- Calculus_of_structures wikiPageUsesTemplate Template:Logic-stub.
- Calculus_of_structures subject Category:Logical_calculi.
- Calculus_of_structures hypernym Proof.
- Calculus_of_structures type TelevisionShow.
- Calculus_of_structures type Method.
- Calculus_of_structures comment "The calculus of structures is a proof calculus with deep inference for studying the structural proof theory of noncommutative logic. The calculus has since been applied to study linear logic, classical logic, modal logic, and process calculi, and many benefits are claimed to follow in these investigations from the way in which deep inference is made available in the calculus.".
- Calculus_of_structures label "Calculus of structures".
- Calculus_of_structures sameAs m.04m533.
- Calculus_of_structures sameAs Q5018901.
- Calculus_of_structures sameAs Q5018901.
- Calculus_of_structures wasDerivedFrom Calculus_of_structures?oldid=274693946.
- Calculus_of_structures isPrimaryTopicOf Calculus_of_structures.