Ofer Arieli: Sequent-based deductive argumentation
Channel: Dipartimento di Filosofia 'Piero Martinetti'
Date: 25/08/2020

Ofer Arieli - Academic College of Tel-Aviv
April 22, 2020, h. 17:00-19:00



Abstract: 
Sequent-based argumentation is a general approach to reasoning with deductive (logical) argumentation, motivated by proof-theoretic considerations. In this talk we review some of the principles of this approach and describe several results concerning its characteristics. In particular, we present completeness results in terms of dynamic proofs, show their relations to reasoning with maximal consistency, and study the satisfiability of common rationality postulates in several sequent-based settings.



Organization: The Logic Seminar - Department of Philososophy "Piero Martinetti" - University of Milan.