TY  - RPRT
TI  - A generalised and modular proof-theoretic semantics for sequent systems
AU  - Victor Barroso-Nascimento
AU  - Arghya Chakrabarty
AU  - Elaine Pimentel
PY  - 2026
UR  - https://arxiv.org/abs/2610.23822
ID  - 2610.23822
ER  -