Towards the Proof-theoretic Unification of Dung’s Argumentation Framework: an Adaptive Logic Approach

&
Journal of Logic and Computation 21 (2):133–156 (2010)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

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

Relating Carneades with abstract argumentation via the ASPIC+ framework for structured argumentation.Bas van Gijzel & Henry Prakken - 2012 - Argument and Computation 3 (1):21 - 47.
Dung’s Argumentation is Essentially Equivalent to Classical Propositional Logic with the Peirce–Quine Dagger.Dov M. Gabbay - 2011 - Logica Universalis 5 (2):255-318.
On the explanatory power of truth in logic.Gila Sher - 2018 - Philosophical Issues 28 (1):348-373.
A Syntactic Approach to Unification in Transitive Reflexive Modal Logics.Rosalie Iemhoff - 2016 - Notre Dame Journal of Formal Logic 57 (2):233-247.
The structure of logical consequence : proof-theoretic conceptions.Ole T. Hjortland - unknown
Bilateralism does not provide a proof theoretic treatment of classical logic.Michael Gabbay - 2017 - Journal of Applied Logic 25:S108-S122.
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.
Adaptive Logic Characterizations of Input/Output Logic.Christian Straßer, Mathieu Beirlaen & Frederik Van De Putte - 2016 - Studia Logica 104 (5):869-916.
Sequent-based logical argumentation.Ofer Arieli & Christian Straßer - 2015 - Argument and Computation 6 (1):73-99.
Abstract argumentation and explanation applied to scientific debates.Dunja Šešelja & Christian Straßer - 2013 - Synthese 190 (12):2195-2217.
Partial and paraconsistent three-valued logics.Vincent Degauquier - 2016 - Logic and Logical Philosophy 25 (2):143-171.
Incompleteness of Intuitionistic Propositional Logic with Respect to Proof-Theoretic Semantics.Thomas Piecha & Peter Schroeder-Heister - 2019 - Studia Logica 107 (1):233-246.
Meta-argumentation modelling I: Methodology and techniques.Dov Guido Boella, Leendert der Torre M. Gabbavany & Serena Villata - forthcoming - Studia Logica.
Initial sets in abstract argumentation frameworks.Yuming Xu & Claudette Cayrol - 2018 - Journal of Applied Non-Classical Logics 28 (2-3):260-279.
Abstract argument games via modal logic.Davide Grossi - 2013 - Synthese 190 (S1).

Analytics

Added to PP
2020-01-31

Downloads
9 (#1,228,347)

6 months
5 (#638,139)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Christian Straßer
Ruhr-Universität Bochum
Dunja Šešelja
Ruhr-Universität Bochum

Citations of this work

Add more citations

References found in this work

No references found.

Add more references