Argument and Computation 6 (1):73-99 (2015)

We introduce a general approach for representing and reasoning with argumentation-based systems. In our framework arguments are represented by Gentzen-style sequents, attacks between arguments are represented by sequent elimination rules, and deductions are made according to Dung-style skeptical or credulous semantics. This framework accommodates different languages and logics in which arguments may be represented, allows for a flexible and simple way of expressing and identifying arguments, supports a variety of attack relations, and is faithful to standard methods of drawing conclusions by argumentation frameworks. Altogether, we show that argumentation theory may benefit from incorporating proof theoretical techniques and that different non-classical formalisms may be used for backing up intended argumentation semantics
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1080/19462166.2014.1002536
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 56,903
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

A Useful Four-Valued Logic.N. D. Belnap - 1977 - In J. M. Dunn & G. Epstein (eds.), Modern Uses of Multiple-Valued Logic. D. Reidel.
Defeasible Reasoning.John L. Pollock - 1987 - Cognitive Science 11 (4):481-518.
On the Theory of Inconsistent Formal Systems.Newton C. A. Costa - 1972 - Recife, Universidade Federal De Pernambuco, Instituto De Matemática.

View all 31 references / Add more references

Citations of this work BETA

Non-Monotonic Logic.G. Aldo Antonelli - 2008 - Stanford Encyclopedia of Philosophy.
Concerning Peter Vickers’s Recent Treatment of ‘Paraconsistencitis’.Dunja Šešelja & Christian Straßer - 2014 - International Studies in the Philosophy of Science 28 (3):325-340.

View all 6 citations / Add more citations

Similar books and articles

Logical Limits of Abstract Argumentation Frameworks.Leila Amgoud & Philippe Besnard - 2013 - Journal of Applied Non-Classical Logics 23 (3):229 - 267.


Added to PP index

Total views
19 ( #536,756 of 2,409,594 )

Recent downloads (6 months)
3 ( #245,496 of 2,409,594 )

How can I increase my downloads?


My notes