Vector spaces as Kripke frames
Giuseppe Greco, Fei Liang, Michael Moortgat, Alessandra, Palmigiano, Apostolos Tzimoulis

TL;DR
This paper extends vector space semantics to the general Lambek calculus using algebraic structures called -algebras, linking them to Kripke frames and modal substructural logics.
Contribution
It introduces a novel vector space semantics for the Lambek calculus based on -algebras, connecting algebraic and Kripke semantics for substructural logics.
Findings
-algebras serve as Kripke frames for vector space semantics.
Established a systematic link between vector space semantics and Routley-Meyer semantics.
Extended the semantics from associative to general Lambek calculus.
Abstract
In recent years, the compositional distributional approach in computational linguistics has opened the way for an integration of the \emph{lexical} aspects of meaning into Lambek's type-logical grammar program. This approach is based on the observation that a sound semantics for the associative, commutative and unital Lambek calculus can be based on vector spaces by interpreting fusion as the tensor product of vector spaces. In this paper, we build on this observation and extend it to a `vector space semantics' for the \emph{general} Lambek calculus, based on \emph{algebras over a field} (or -algebras), i.e. vector spaces endowed with a bilinear binary product. Such structures are well known in algebraic geometry and algebraic topology, since they are important instances of Lie algebras and Hopf algebras. Applying results and insights from duality and…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Algebra and Logic · Logic, Reasoning, and Knowledge · Logic, programming, and type systems
