Cirquent calculus
id:
cirquent-calculus-315-3219911
title:
Cirquent calculus
text:
Cirquent calculus is a proof calculus that 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 wr
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Cirquent_calculus
date created:
date modified:
2024-04-22T07:00:45Z
main entity:
{"identifier":"Q22907269","url":"https://www.wikidata.org/entity/Q22907269"}
image:
{"content_url":"https://upload.wikimedia.org/wikipedia/commons/8/8f/Cirquents_vs_sequents.png","width":571,"height":227}
fields total:
13
integrity:
14