A system of interaction and structure

@article{Guglielmi2007ASO,
  title={A system of interaction and structure},
  author={A. Guglielmi},
  journal={ACM Trans. Comput. Log.},
  year={2007},
  volume={8},
  pages={1}
}
  • A. Guglielmi
  • Published 2007
  • Mathematics, Computer Science
  • ACM Trans. Comput. Log.
This article introduces a logical system, called BV, which extends multiplicative linear logic by a noncommutative self-dual logical operator. This extension is particularly challenging for the sequent calculus, and so far, it is not achieved therein. It becomes very natural in a new formalism, called the calculus of structures, which is the main contribution of this work. Structures are formulas subject to certain equational laws typical of sequents. The calculus of structures is obtained by… Expand
A system of interaction and structure V: the exponentials and splitting
A System of Interaction and Structure II: The Need for Deep Inference
  • Alwen Tiu
  • Mathematics, Computer Science
  • Log. Methods Comput. Sci.
  • 2006
Subatomic Proof Systems
Reducing Nondeterminism in the Calculus of Structures
Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic
A Proof Calculus Which Reduces Syntactic Bureaucracy
On noncommutative extensions of linear logic
  • Sergey Slavnov
  • Mathematics, Computer Science
  • Log. Methods Comput. Sci.
  • 2019
Locality for Classical Logic
  • Kai Brünnler
  • Mathematics, Computer Science
  • Notre Dame J. Formal Log.
  • 2006
...
1
2
3
4
5
...

References

SHOWING 1-3 OF 3 REFERENCES
A Local System for Linear Logic
A Purely Logical Account of Sequentiality in Proof Search
Communication and concurrency
  • R. Milner
  • Mathematics, Computer Science
  • PHI Series in computer science
  • 1989