Reference26 articles.
1. [2] Blass, A., "A game semantics for linear logic", Annals of Pure and Applied Logic, vol. 56 (1992), pp. 183--220.
2. [3] Brünnler, K., "Atomic cut elimination for classical logic", pp. 86--97 in Computer Science Logic, edited by M. Baaz and J A. Makowsky, vol. 2803 of Lecture Notes in Computer Science, Springer, Berlin, 2003.
3. [4] Brünnler, K., Deep Inference and Symmetry in Classical Proofs, Ph.D. thesis, Technische Universität Dresden, Dresden, 2003.
4. [5] Brünnler, K., "Two restrictions on contraction", Logic Journal of the IGPL, vol. 11 (2003), pp. 525--29.
5. [6] Brünnler, K., "Cut elimination inside a deep inference system for classical predicate logic", Studia Logica, vol. 82 (2006), pp. 51--71.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献