Annotated Sequent Calculi for Paraconsistent Reasoning and Their Relations to Logical Argumentation

Ofer Arieli, Kees van Berkel, Christian Straßer