A Generalised and Modular Proof-Theoretic Semantics for Sequent Systems
Published in arXiv preprint, 2026
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