The next talk of our seminar series will be given by Andrea Sabatini (Scuola Normale Superiore) via Teams (please, see details below) on Monday, May 6th, starting from 12:30 CET. Here it is the title and abstract of his talk: Title: Proofs and refutations: a structural approach to nonmonotonic reasoning Abstract: In this talk I will present a novel proof-theoretic approach to … Continue reading Talk by Andrea Sabatini