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

Ofer Arieli, Kees van Berkel, Christian Straer

Browse the full IJCAI paper archive.