{"id":"arxiv/2608.02654","url":"https://arxiv.org/abs/2608.02654","tags":["cs.LO","math.LO"],"score":0,"title":"Towards Automated Proof-Theoretic Semantics: Inference-Behaviour Semantics for 3-Dimensional K3 and LP","domain":"cs.LO","source":"arxiv","authors":["Sophie Nagler"],"reviews":0,"subject":"cs.LO","summary":"Inference-behaviour Semantics (I-bS) is a sequent calculus-based substructural approach to proof-theoretic semantics (P-tS), focussed on modelling the relationships of connective meanings across different logics. This paper provides a case study of how I-bS can be extended to any finitely multi-dimensional sequent calculus. To this end, we give I-bS for the 3-dimensional sequent calculi K3 (Strong Kleene) and LP (Logic of Paradox). We find that the K3 and LP connectives have the same meaning and that their meaning conservatively extends the meaning of the corresponding classical LK…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-08-01","reactions":{}}