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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,219

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 logic of defeasible argumentation: Constructing arguments in justification logic.Stipe Pandžić - 2022 - Argument and Computation 13 (1):3-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.
A Syntactic Approach to Unification in Transitive Reflexive Modal Logics.Rosalie Iemhoff - 2016 - Notre Dame Journal of Formal Logic 57 (2):233-247.
Reasoning with maximal consistency by argumentative approaches.Ofer Arieli, AnneMarie Borg & Christian Straßer - 2018 - Journal of Logic and Computation 28 (7):1523--1563.
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.
Abstract solvers for Dung’s argumentation frameworks.Remi Brochenin, Thomas Linsbichler, Marco Maratea, Johannes P. Wallner & Stefan Woltran - 2018 - Argument and Computation 9 (1):41-72.
Meta-Argumentation Modelling I: Methodology and Techniques.Guido Boella, Dov Gabbay, Leendert Torre & Serena Villata - 2009 - Studia Logica 93 (2-3):297-355.
On the explanatory power of truth in logic.Gila Sher - 2018 - Philosophical Issues 28 (1):348-373.
Following all the rules: Intuitionistic completeness for generalized proof-theoretic validity.Will Stafford & Victor Nascimento - 2023 - Analysis 83 (3):507-516.
Adaptive Logic Characterizations of Input/Output Logic.Christian Straßer, Mathieu Beirlaen & Frederik Van De Putte - 2016 - Studia Logica 104 (5):869-916.

Analytics

Added to PP
2020-01-31

Downloads
15 (#1,238,350)

6 months
4 (#1,258,347)

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