Download PDFOpen PDF in browserTowards a Cut-free Sequent Calculus for Boolean BI5 pages•Published: March 24, 2013AbstractKeyphrases: boolean bi, cut elimination, sequent calculus In: Alex Simpson (editor). PSPL 2010. International Workshop on Proof Systems for Program Logics, vol 12, pages 12-16.
|