AILo Talk - Vitor Greati, University of Groningen

Title: Computational properties of non-classical logics

Abstract:

This talk will be a brief introduction to the investigation of computational properties of non-classical propositional logics. We will begin by understanding the very basics of non-classical logics, focusing on many-valued and substructural logics. Then, we will see what it means for a logic to be decidable or not, and appreciate some of the challenges in studying such property. For some decidable logics, we will also see some complexity results, touching in an accessible way topics like structural proof theory and the theory of well-quasi-orderings.