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

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Annemarie Borg' in GoogleThis author has not been identified. Look up 'Ofer Arieli' in GoogleThis author has not been identified. Look up 'Christian Straßer' in Google

runs on WebDSL