A Generalised and Modular Proof-Theoretic Semantics for Sequent Systems
Published in arXiv preprint, 2026
This paper develops a modular framework for explaining logical consequence through proof rules, establishing soundness and completeness results for classical, intuitionistic, and linear logics, as well as investigating extensions of intuitionistic logic.
Recommended citation: Victor Barroso-Nascimento, Arghya Chakrabarty, and Elaine Pimentel. (2026). "A Generalised and Modular Proof-Theoretic Semantics for Sequent Systems." arXiv preprint arXiv:2610.23822.
Download Paper | Download Slides | Download Bibtex