Calculus of Structures
Get Calculus of Structures essential facts below. View Videos or join the Calculus of Structures discussion. Add Calculus of Structures to your topic list for future reference or share this resource on social media.
Calculus of Structures

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.


  • 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

  This article uses material from the Wikipedia page available here. It is released under the Creative Commons Attribution-Share-Alike License 3.0.



Top US Cities was developed using's knowledge management platform. It allows users to manage learning and research. Visit defaultLogic's other partner sites below: : Music Genres | Musicians | Musical Instruments | Music Industry