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}}