Keyword:sequent calculus

Papers
On Transforming Rewriting-Induction Proofs for Logical-Connective-Free Sequents into Cyclic Proofs Shujun Zhang and Naoki Nishida EasyChair Preprint no. 8672
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