{"id":"arxiv/2610.23822","url":"https://arxiv.org/abs/2610.23822","tags":["cs.LO","math.LO"],"score":0,"title":"A generalised and modular proof-theoretic semantics for sequent systems","domain":"cs.LO","source":"arxiv","authors":["Victor Barroso-Nascimento","Arghya Chakrabarty","Elaine Pimentel"],"reviews":0,"subject":"cs.LO","summary":"Base-extension semantics explains logical consequence via derivability in atomic systems. Extending this approach across logics requires careful control of structural principles and contexts. We present a modular sequent-based framework in which support is indexed by multisets of atomic resources and the semantic clauses for connectives are guided by their left introduction rules. The framework separates additive from multiplicative behaviour and makes explicit the contributions of structural rules and restrictions on sequents. We establish soundness and completeness for classical and…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-10-16","reactions":{}}