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

DOI10.1093/LOGCOM/EXQ015zbMath1234.03014OpenAlexW2113175055MaRDI QIDQ3006111

Christian Straßer, Dunja Šešelja

Publication date: 10 June 2011

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exq015

zbMATH Keywords

proof theoryadaptive logicabstract argumentationdefeasible reasoning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Proof theory in general (including proof-theoretic semantics) (03F03) Paraconsistent logics (03B53)

Related Items (4)

Dung's argumentation is essentially equivalent to classical propositional logic with the Peirce-Quine dagger ⋮ Preferential semantics using non-smooth preference relations ⋮ A Metamathematical Model for A/O Opposition in Scientific Inquiry ⋮ Inconsistency-adaptive dialogical logic

This page was built for publication: Towards the Proof-theoretic Unification of Dung's Argumentation Framework: an Adaptive Logic Approach