Grafted Sequents

Post date: Feb 3, 2015 12:00:48 PM

Björn Lellmann and I have finished a paper on synthesizing cut-free calculi by combining nested and hypersequent ones. While it is under review, we welcome any comments (by email or otherwise) from interested readers.

The current version can be downloaded here KuznetsLellmann2015.pdf