The concept of “argumentative consequence” is introduced, involving only the attack relations in Dung-style abstract argumentation frames. Collections of attack principles of different strength, referring to the logical structure of claims of arguments, lead to new characterizations of classical and nonclassical consequence relations. In this manner systematic relations between structural constraints on abstract argumentation frames, sequent rules, and nondeterministic matrix semantics for corresponding calculi emerge.
CITATION STYLE
Corsi, E. A., & Fermüller, C. G. (2017). Logical argumentation principles, sequents, and nondeterministic matrices. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10445 LNCS, pp. 422–437). Springer Verlag. https://doi.org/10.1007/978-3-662-55665-8_29
Mendeley helps you to discover research relevant for your work.