Hypersequent-Based Argumentation: An Instantiation in the Relevance Logic RM

Annemarie Borg, Ofer Arieli, Christian Straßer. Hypersequent-Based Argumentation: An Instantiation in the Relevance Logic RM. In Elizabeth Black, Sanjay Modgil, Nir Oren, editors, Theory and Applications of Formal Argumentation - 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papers. Volume 10757 of Lecture Notes in Computer Science, pages 17-34, Springer, 2017. [doi]

Abstract

Abstract is missing.