Dung's argumentation is essentially equivalent to classical propositional logic with the Peirce-Quine dagger (Q1941728): Difference between revisions

@@ Property / DOI @@
-.1007/s11787-011-0036-3
@@ Property / DOI: 10.1007/s11787-011-0036-3 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11787-011-0036-3
+Normal rank
@@ Property / OpenAlex ID @@
+W2043827551
@@ Property / OpenAlex ID: W2043827551 / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanizing Mathematical Reasoning
@@ Property / cites work: Mechanizing Mathematical Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q2999896
@@ Property / cites work: Q2999896 / rank @@
+Normal rank
@@ Property / cites work @@
+Persuasion in Practical Argument Using Value-based Argumentation Frameworks
+Normal rank
@@ Property / cites work @@
+Encompassing Attacks to Attacks in Abstract Argumentation Frameworks
+Normal rank
@@ Property / cites work @@
+On the Issue of Reinstatement in Argumentation
@@ Property / cites work: On the Issue of Reinstatement in Argumentation / rank @@
+Normal rank
@@ Property / cites work @@
+On the evaluation of argumentation formalisms
@@ Property / cites work: On the evaluation of argumentation formalisms / rank @@
+Normal rank
@@ Property / cites work @@
+A logical account of formal argumentation
@@ Property / cites work: A logical account of formal argumentation / rank @@
+Normal rank
@@ Property / cites work @@
+On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
+Normal rank
@@ Property / cites work @@
+Q4894942
@@ Property / cites work: Q4894942 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4217280
@@ Property / cites work: Q4217280 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal provability foundations for argumentation networks
+Normal rank
@@ Property / cites work @@
+Fibring argumentation frames
@@ Property / cites work: Fibring argumentation frames / rank @@
+Normal rank
@@ Property / cites work @@
+Introducing Equational Semantics for Argumentation Networks
+Normal rank
@@ Property / cites work @@
+Logical modes of attack in argumentation networks
@@ Property / cites work: Logical modes of attack in argumentation networks / rank @@
+Normal rank
@@ Property / cites work @@
+Q4570895
@@ Property / cites work: Q4570895 / rank @@
+Normal rank
@@ Property / cites work @@
+Correspondences in the Theory of Aggregation
@@ Property / cites work: Correspondences in the Theory of Aggregation / rank @@
+Normal rank
@@ Property / cites work @@
+Q5582304
@@ Property / cites work: Q5582304 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory for fuzzy logics
@@ Property / cites work: Proof theory for fuzzy logics / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about preferences in argumentation frameworks
+Normal rank
@@ Property / cites work @@
+The Stroke Function in Natural Deduction
@@ Property / cites work: The Stroke Function in Natural Deduction / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs of some axioms by Stroke function
@@ Property / cites work: Proofs of some axioms by Stroke function / rank @@
+Normal rank
@@ Property / cites work @@
+Towards the Proof-theoretic Unification of Dung's Argumentation Framework: an Adaptive Logic Approach
+Normal rank
@@ Property / DOI @@
+.1007/S11787-011-0036-3
@@ Property / DOI: 10.1007/S11787-011-0036-3 / rank @@
+Normal rank