Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q22907269> ?p ?o }
Showing triples 1 to 23 of
23
with 100 triples per page.
- Q22907269 subject Q7020589.
- Q22907269 subject Q7452060.
- Q22907269 subject Q8601388.
- Q22907269 subject Q9903441.
- Q22907269 abstract "Cirquent calculus is a proof calculus which manipulates graph-style constructs termed cirquents, as opposed to the traditional tree-style objects such as formulas or sequents. Cirquents come in a variety of forms, but they all share one main characteristic feature, making them different from the more traditional objects of syntactic manipulation. This feature is the ability to explicitly account for possible sharing of subcomponents between different components. For instance, it is possible to write an expression where two subexpressions F and E, while neither one is a subexpression of the other, still have a common occurrence of a subexpression G (as opposed to having two different occurrences of G, one in F and one in E). The approach was introduced by G. Japaridze in as an alternative proof theory capable of “taming” various nontrivial fragments his computability logic, which had otherwise resisted all axiomatization attempts within the traditional proof-theoretic frameworks.The basic version of cirquent calculus in was accompanied with an "abstract resource semantics" and the claim that the latter was an adequate formalization of the resource philosophy traditionally associated with linear logic. Based on that claim and the fact that the semantics induced a logic properly stronger than (affine) linear logic, Japaridze argued that linear logic was incomplete as a logic of resources. Furthermore, he argued that not only the deductive power but also the expressive power of linear logic was weak, for it, unlike cirquent calculus, failed to capture the ubiquitous phenomenon of resource sharing.Among the later-found applications of cirquent calculus was the use of it to define a semantics for purely propositional independence-friendly logic. The corresponding logic was axiomatized by W. Xu.".
- Q22907269 wikiPageExternalLink 317.abstract.
- Q22907269 wikiPageExternalLink 982.
- Q22907269 wikiPageExternalLink s00153-012-0313-8.
- Q22907269 wikiPageExternalLink s00153-012-0314-7.
- Q22907269 wikiPageExternalLink 489.abstract.
- Q22907269 wikiPageExternalLink 983.abstract?keytype=ref&ijkey=FWDFEWzz19JWDU0.
- Q22907269 wikiPageExternalLink viewarticle.php?id=1536&layout=abstract.
- Q22907269 wikiPageExternalLink viewarticle.php?id=717&layout=abstract.
- Q22907269 wikiPageWikiLink Q17101558.
- Q22907269 wikiPageWikiLink Q5157263.
- Q22907269 wikiPageWikiLink Q5563424.
- Q22907269 wikiPageWikiLink Q7020589.
- Q22907269 wikiPageWikiLink Q7250002.
- Q22907269 wikiPageWikiLink Q7452060.
- Q22907269 wikiPageWikiLink Q8601388.
- Q22907269 wikiPageWikiLink Q9903441.
- Q22907269 comment "Cirquent calculus is a proof calculus which manipulates graph-style constructs termed cirquents, as opposed to the traditional tree-style objects such as formulas or sequents. Cirquents come in a variety of forms, but they all share one main characteristic feature, making them different from the more traditional objects of syntactic manipulation. This feature is the ability to explicitly account for possible sharing of subcomponents between different components.".
- Q22907269 label "Cirquent calculus".