Dung's argumentation is essentially equivalent to classical propositional logic with the Peirce-Quine dagger

DOI10.1007/s11787-011-0036-3zbMath1280.03007OpenAlexW2043827551MaRDI QIDQ1941728

Dov M. Gabbay

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

zbMATH Keywords

Boolean networksargumentation theoryPeirce-Quine daggerpredicate argumentationresource based argumentation

Mathematics Subject Classification ID

Classical propositional logic (03B05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Abstract deductive systems (03B22)

Related Items (3)

Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change ⋮ Theory of semi-instantiation in abstract argumentation ⋮ Methods for solving reasoning problems in abstract argumentation -- a survey

Uses Software

• AFRA

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

This page was built for publication: Dung's argumentation is essentially equivalent to classical propositional logic with the Peirce-Quine dagger