Editing Calculus of structures

In [[mathematical logic]], 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.

==References==
{{refs}}
* Alessio Guglielmi (2004)., 'A System of Interaction and Structure'.  [[ACM Transactions on Computational Logic]].
* Kai Brünnler (2004). ''Deep Inference and Symmetry in Classical Proofs''. Logos Verlag.

==External links==
* [http://alessio.guglielmi.name/res/cos/ Calculus of structures homepage]
* [https://web.archive.org/web/20041207223920/http://www.informatik.uni-leipzig.de/~ozan/maude_cos.html CoS in Maude]: page documenting implementations of [[logical system]]s in the calculus of structures, using the [[Maude system]].

[[Category:Logical calculi]]

{{logic-stub}}