Uploaded February 2026 | Updated September 2026, 2 hours ago
Carl Friedrich von Weizsäcker Colloquium - January 14, 2026
Proof-Theoretic Semantics and Substructural Logics - Prof. Dr. Hermógenes Oliveira (Federal University of Paraíba)
Recently, proof-theoretic semantics (PTS) have expanded, among other things, into the realm of substructural logics. These developments have been mostly inspired by base-extension semantics (BeS), a strand of PTS. In this talk, I'll present an alternative definition of validity for a substructural logic and show its adequacy with soundness and completeness proofs.
Our approach is similar to BeS in the sense that both can be viewed as strands of PTS based on elimination rules. However, there are some substantial differences stemming mostly from the fact that our semantics can forego atomic bases and thus define logical validity directly. I'll discuss what I see as the advantages and disadvantages of our approach compared with BeS.
(Joint work with Eugenio Orlandelli and Mattia Petrolo.)
Carl Friedrich von Weizsäcker Colloquium - January 14, 2026
Proof-Theoretic Semantics and Substructural Logics - Prof. Dr. Hermógenes Oliveira (Federal University of Paraíba)
Recently, proof-theoretic semantics (PTS) have expanded, among other things, into the realm of substructural logics. These developments have been mostly inspired by base-extension semantics (BeS), a strand of PTS. In this talk, I'll present an alternative definition of validity for a substructural logic and show its adequacy with soundness and completeness proofs.
Our approach is similar to BeS in the sense that both can be viewed as strands of PTS based on elimination rules. However, there are some substantial differences stemming mostly from the fact that our semantics can forego atomic bases and thus define logical validity directly. I'll discuss what I see as the advantages and disadvantages of our approach compared with BeS.
(Joint work with Eugenio Orlandelli and Mattia Petrolo.)
