DeepAI AI Chat
Log In Sign Up

Vector spaces as Kripke frames

by   Giuseppe Greco, et al.

In recent years, the compositional distributional approach in computational linguistics has opened the way for an integration of the 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 general Lambek calculus, based on algebras over a fieldK (or K-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 representation theory for the algebraic semantics of nonclassical logics, we regard K-algebras as `Kripke frames' the complex algebras of which are complete residuated lattices. This perspective makes it possible to establish a systematic connection between vector space semantics and the standard Routley-Meyer semantics of (modal) substructural logics.


page 1

page 2

page 3

page 4


Anaphora and Ellipsis in Lambek Calculus with a Relevant Modality: Syntax and Semantics

Lambek calculus with a relevant modality !𝐋^* of arXiv:1601.06303 syntac...

Pregroup Grammars, their Syntax and Semantics

Pregroup grammars were developed in 1999 and stayed Lambek's preferred a...

Vector Space Semantics for Lambek Calculus with Soft Subexponentials

We develop a vector space semantics for Lambek Calculus with Soft Subexp...

From Logical to Distributional Models

The paper relates two variants of semantic models for natural language, ...

Lexical and Derivational Meaning in Vector-Based Models of Relativisation

Sadrzadeh et al (2013) present a compositional distributional analysis o...

A Proof-Theoretic Approach to Scope Ambiguity in Compositional Vector Space Models

We investigate the extent to which compositional vector space models can...

Functional Distributional Semantics

Vector space models have become popular in distributional semantics, des...