Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics.

Arnon Avron, Beata Konikowska, Anna Zamansky

Browse the full LICS paper archive.