Keyword:cut elimination

Papers
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