{"id":"arxiv/2607.19419","url":"https://arxiv.org/abs/2607.19419","tags":["cs.LO","math.LO"],"score":0,"title":"Inference-Behaviour Semantics for All$^\\ast$ Connectives in Two-Dimensional Sequent Calculi","domain":"cs.LO","source":"arxiv","authors":["Sophie Nagler"],"reviews":0,"subject":"cs.LO","summary":"Inference-behaviour semantics (I-bS) is a new approach to proof-theoretic semantics, grounded in two inferentialist principles: (1) the use of an expression in reasoning determines its meaning, and (2) a connective is defined by its operational rules. I-bS operationalises these ideas by measuring the syntactic use of a connective in the proof of its definability, against a substructurally minimal derivability relation. I-bS thereby gives the meaning of a connective in terms of its semantic clause, i.e. minimal substructural rule pair. This paper validates and verifies I-bS by applying it to…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-07-19","reactions":{}}