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.
Logical Argumentation Principles, Sequents, and Nondeterministic Matrices / E.A. Corsi, C. Fermüller (LECTURE NOTES IN COMPUTER SCIENCE). - In: Logic, Rationality, and Interaction / [a cura di] A. Baltag, J. Seligman, T. Yamada. - [s.l] : Springer, 2017. - ISBN 978-3-662-55665-8. - pp. 422-437 (( Intervento presentato al 6. convegno LORI tenutosi a Sapporo nel 2017 [10.1007/978-3-662-55665-8_29].
Logical Argumentation Principles, Sequents, and Nondeterministic Matrices
E.A. Corsi
;
2017
Abstract
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.File | Dimensione | Formato | |
---|---|---|---|
2. CORSI FERMÜLLER (2017).pdf
accesso riservato
Tipologia:
Publisher's version/PDF
Dimensione
337.15 kB
Formato
Adobe PDF
|
337.15 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.