Dung's argumentation is essentially equivalent to classical propositional logic with the Peirce-Quine dagger
From MaRDI portal
Publication:1941728
DOI10.1007/s11787-011-0036-3zbMath1280.03007MaRDI QIDQ1941728
Publication date: 21 March 2013
Published in: Logica Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11787-011-0036-3
Boolean networks; argumentation theory; Peirce-Quine dagger; predicate argumentation; resource based argumentation
03B05: Classical propositional logic
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
03B22: Abstract deductive systems
Related Items
Theory of semi-instantiation in abstract argumentation, Methods for solving reasoning problems in abstract argumentation -- a survey, Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Reasoning about preferences in argumentation frameworks
- On the evaluation of argumentation formalisms
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
- Modal provability foundations for argumentation networks
- Logical modes of attack in argumentation networks
- Fibring argumentation frames
- A logical account of formal argumentation
- Proof theory for fuzzy logics
- Towards the Proof-theoretic Unification of Dung's Argumentation Framework: an Adaptive Logic Approach
- Introducing Equational Semantics for Argumentation Networks
- The Stroke Function in Natural Deduction
- On the Issue of Reinstatement in Argumentation
- Correspondences in the Theory of Aggregation
- Encompassing Attacks to Attacks in Abstract Argumentation Frameworks
- Persuasion in Practical Argument Using Value-based Argumentation Frameworks
- Proofs of some axioms by Stroke function
- Mechanizing Mathematical Reasoning