On the Construction of Analytic Sequent Calculi for Sub-classical Logics.

Ori Lahav, Yoni Zohar

Browse the full WoLLIC paper archive.