Papers
Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics
Comments on Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics