Keyword:cut elimination

Papers
Gentzen’s “Cut Rule” and Quantum Measurement in Terms of Hilbert Arithmetic. Metaphor and Understanding Modeled Formally Vasil Penchev EasyChair Preprint no. 8545
Bunched Hypersequent Calculi for Distributive Substructural Logics Agata Ciabattoni and Revantha Ramanayake In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Computational Coverage of TLG: Nonlinearity Glyn Morrill and Oriol Valentín In:NLCS'15. Third Workshop on Natural Language and Computer Science
Towards a Cut-free Sequent Calculus for Boolean BI Sungwoo Park and Jonghyun Park In:PSPL 2010. International Workshop on Proof Systems for Program Logics