DeepAI

# Categorical Vector Space Semantics for Lambek Calculus with a Relevant Modality (Extended Abstract)

We develop a categorical compositional distributional semantics for Lambek Calculus with a Relevant Modality, which has a limited version of the contraction and permutation rules. The categorical part of the semantics is a monoidal biclosed category with a coalgebra modality as defined on Differential Categories. We instantiate this category to finite dimensional vector spaces and linear maps via quantisation functors and work with three concrete interpretations of the coalgebra modality. We apply the model to construct categorical and concrete semantic interpretations for the motivating example of this extended calculus: the derivation of a phrase with a parasitic gap. The effectiveness of the concrete interpretations are evaluated via a disambiguation task, on an extension of a sentence disambiguation dataset to parasitic gap phrases, using BERT, Word2Vec, and FastText vectors and Relational tensors

• 5 publications
• 30 publications
• 4 publications
• 12 publications
05/06/2020

### Categorical Vector Space Semantics for Lambek Calculus with a Relevant Modality

We develop a categorical compositional distributional semantics for Lamb...
11/22/2021

### Vector Space Semantics for Lambek Calculus with Soft Subexponentials

We develop a vector space semantics for Lambek Calculus with Soft Subexp...
01/21/2018

### Dialectica Categories for the Lambek Calculus

We revisit the old work of de Paiva on the models of the Lambek Calculus...
01/23/2016

### Undecidability of the Lambek calculus with a relevant modality

Morrill and Valentin in the paper "Computational coverage of TLG: Nonlin...
01/30/2019

### Compositionality for Recursive Neural Networks

Modelling compositionality has been a longstanding area of research in t...
04/29/2022

### Decorated Linear Relations: Extending Gaussian Probability with Uninformative Priors

We introduce extended Gaussian distributions as a precise and principled...
04/15/2019

### On the Lambek Calculus with an Exchange Modality

In this paper we introduce Commutative/Non-Commutative Logic (CNC logic)...