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

, &
In E. Black, S. Modgil & N. Oren (eds.), Theory and Applications of Formal Argumentation. TAFA 2017. Lecture Notes in Computer Science, vol 10757. Cham, Switzerland: Springer. pp. 17–34 (2018)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

ISBN(s)

9783319755533

DOI

10.1007/978-3-319-75553-3_2

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A Generalized Proof-Theoretic Approach to Logical Argumentation Based on Hypersequents.AnneMarie Borg, Christian Straßer & Ofer Arieli - 2020 - Studia Logica 109 (1):167-238.
Prioritized sequent-based argumentation.Ofer Arieli, AnneMarie Borg & Christian Straßer - 2018 - In Elisabeth Andre & Sven Koening (eds.), Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems. pp. 1105--1113.
Sequent-Based Argumentation for Normative Reasoning.Christian Straßer & Ofer Arieli - 2016 - In Olivier Roy, Allard Tamminga & Malte Willer (eds.), Deontic Logic and Normative Systems. London, UK: College Publications. pp. 224--240.
Tuning Logical Argumentation Frameworks: A Postulate-Derived Approach.Ofer Arieli, AnneMarie Borg & Christian Straßer - forthcoming - In Proceedings of Flairs 2020.
Theory of Semi-Instantiation in Abstract Argumentation.D. M. Gabbay - 2016 - Logica Universalis 10 (4):431-516.
Relevance in Structured Argumentation.AnneMarie Borg & Christian Straßer - 2018 - In Jérôme Lang (ed.), Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (IJCAI-18).
Dynamic Derivations for Sequent-Based Logical Argumentation.Ofer Arieli & Christian Straßer - 2014 - In Simon Parsons, Nir Oren, Chris Reed & Federico Cerutti (eds.), Proceedings COMMA 2014. IOS Press. pp. 89--100.
Profiles of Dialogue for Relevance.Douglas Walton & Fabrizio Macagno - 2016 - Informal Logic 36 (4):523-562.
Meta-Argumentation Modelling I: Methodology and Techniques.Guido Boella, Dov M. Gabbay, Leendert van der Torre & Serena Villata - 2009 - Studia Logica 93 (2-3):297 - 355.
Completeness of a Hypersequent Calculus for Some First-order Gödel Logics with Delta.Matthias Baaz, Norbert Preining & Richard Zach - 2006 - In 36th International Symposium on Multiple-valued Logic. May 2006, Singapore. Proceedings. Los Alamitos: IEEE Press.
A Naturalist Ontology of Instantiation.Javier Cumpa - 2018 - Ratio 31 (2):155-164.
Reasoning with maximal consistency by argumentative approaches.Ofer Arieli, AnneMarie Borg & Christian Straßer - 2018 - Journal of Logic and Computation 28 (7):1523--1563.
Intermediate Logics Admitting a Structural Hypersequent Calculus.Frederik M. Lauridsen - 2019 - Studia Logica 107 (2):247-282.
Analytic Calculi for Product Logics.George Metcalfe, Nicola Olivetti & Dov Gabbay - 2004 - Archive for Mathematical Logic 43 (7):859-889.
Normative reasoning by sequent-based argumentation.Christian Straßer & Ofer Arieli - 2015 - Journal of Logic and Computation 29 (3):387-415.

Analytics

Added to PP
2020-01-31

Downloads
9 (#1,224,450)

6 months
5 (#629,136)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Christian Straßer
Ruhr-Universität Bochum

Citations of this work

Add more citations

References found in this work

No references found.

Add more references