Calculus of structures
1250632
197939305
2008-03-13T11:32:19Z
Ms331
6256000
/* References */
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==
* [[Alessio Guglielmi]], ''A System of Interaction and Structure''. ACM Transactions on Computational Logic, 2004.
* Kai Brünnler, ''Deep Inference and Symmetry in Classical Proofs''. Logos Verlag, 2004.
==External links==
* [http://alessio.guglielmi.name/res/cos/ Calculus of structures homepage]
* [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}}