DOI: 10.1093/logcom/exad080 ISSN: 0955-792X
Attack principles in sequent-based argumentation theory
Esther Anna Corsi- Logic
- Hardware and Architecture
- Arts and Humanities (miscellaneous)
- Software
- Theoretical Computer Science
Abstract
Attack principles have been introduced in semi-abstract argumentation frameworks and, in the present work, we interpret them in sequent-based argumentation frameworks. Thus, we investigate the role of minimality and consistency of the support set of an argument. Through the notion of preservation of strength, we introduce a formal criterion to sort out the attack principles; isolate the more “acceptable” ones, i.e. those easier to justify; and recover a new argumentative semantics for the non-classical logic that arises from dropping the rules $(\neg , r)$, $(\land , r)$ and $(\supset , l)$ from Gentzen’s classical sequent calculus for classical logic $\textsf{LK}$.