Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Calculus_of_structures> ?p ?o. }
Showing items 1 to 14 of
14
with 100 items 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 wikiPageRevisionID "274693946".
- Calculus_of_structures hasPhotoCollection Calculus_of_structures.
- Calculus_of_structures subject Category:Logical_calculi.
- 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.