From Axioms to Analytic Rules in Nonclassical Logics.

Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui

Browse the full LICS paper archive.