{"id":"arxiv/2602.02940","url":"https://arxiv.org/abs/2602.02940","tags":["math.LO","cs.CL","cs.FL","cs.LO"],"score":0,"title":"A vector logic for intensional formal semantics","domain":"math.LO","source":"arxiv","authors":["Daniel Quigley"],"reviews":0,"subject":"math.LO","summary":"Formal semantics and distributional semantics are distinct approaches to linguistic meaning: the former models meaning as reference via model-theoretic structures; the latter as vectors in high-dimensional spaces shaped by usage. This paper establishes which part of intensional formal semantics admits a linear vector-space encoding. Kripke-style intensional models, with any finite collection of index sorts collected in a compound index space, embed injectively into vector spaces: primitive domains go to free carriers; intensions and other functions go to linear operators. Semantic functions…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-03","reactions":{}}