15 February 2024, The Utrecht Logic in Progress Series (TULIPS), Federico Pailos

Abstract: Over the last decades, considerable attention has been paid to substructural logics, that is, logical systems that forego at least one of the structural principles sanctioned by classical logic. However, little or no attention has been paid to the dual notion of a suprastructural logic, that is, a system that sanctions at least one structural principle that classical logic foregoes. In the present paper we explore this notion and present different types of systems where at least one classically invalid structural metainference holds. We introduce two families of contrastructural logics: Boolean logics and Strong-Kleene logics. Afterwards, we present some strictly suprastructural logics. We show that LP and K3 are strictly suprastructural from a global perspective. We then introduce some metainferential logics that are strictly suprastructural from a local perspective, and show that some of them are also supraclassical. This leads us to consider two different notions of suprastructurality: one that focuses on metainferences and the other that focuses on closure properties.

For more information, see http://tulips.sites.uu.nl/ or contact Colin R. Caret at c.r.caret at uu.nl.