{"id":"arxiv/2606.13855","url":"https://arxiv.org/abs/2606.13855","tags":["cs.LO","math.LO"],"score":0,"title":"From Phase Semantics to Base-extension Semantics (and back)","domain":"cs.LO","source":"arxiv","authors":["Ekaterina Piotrovskaya"],"reviews":0,"subject":"cs.LO","summary":"Linear logic admits a wide range of semantic presentations reflecting its resource-sensitive notion of consequence. One well-known example is phase semantics: an algebraic semantics in which formulas are interpreted in phase models, consisting of a phase space formed by a commutative monoid and a fixed subset, with respect to which an orthogonality relation is defined, and a valuation. A rather different and much more recent approach is given by base-extension semantics, which defines validity by inductively extending a provability relation on a base -- a set of inference rules over atomic…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-06-11","reactions":{}}