Classical linear logic, cobordisms and categorical semantics of categorial grammars

10/04/2018
by   Sergey Slavnov, et al.
0

We propose a categorial grammar based on classical multiplicative linear logic. This can be seen as an extension of abstract categorial grammars (ACG) and is at least as expressive. However, constituents of linear logic grammars (LLG) are not abstract λ-terms, but simply tuples of words with labeled endpoints, we call them multiwords. At least, this gives a concrete and intuitive representation of ACG. A key observation is that the class of multiwords has a fundamental algebraic structure. Namely, multiwords can be organized in a category, very similar to the category of topological cobordisms. This category is symmetric monoidal closed and compact closed and thus is a model of linear λ-calculus and classical linear logic. We think that this category is interesting on its own right. In particular, it might provide categorical representation for other formalisms. On the other hand, many models of language semantics are based on commutative logic or, more generally, on symmetric monoidal closed categories. But the category of word cobordisms is a category of language elements, which is itself symmetric monoidal closed and independent of any grammar. Thus, it might prove useful in understanding language semantics as well.

READ FULL TEXT

Authors

11/10/2019

Classical linear logic, cobordisms and categorial grammars

We propose a categorial grammar based on classical multiplicative linear...
07/19/2021

Cobordisms and commutative categorial grammars

We propose a concrete surface representation of abstract categorial gram...
05/17/2021

A CCG-Based Version of the DisCoCat Framework

While the DisCoCat model (Coecke et al., 2010) has been proved a valuabl...
10/04/2018

Commutative linear logic as a multiple context-free grammar

The formalism of multiple context-free grammars (MCFG) is a non-trivial ...
05/04/2019

A categorical construction for the computational definition of vector spaces

Lambda-S is an extension to first-order lambda calculus unifying two app...
11/07/2018

Hypernormalisation, linear exponential monads and the Giry tricocycloid

We provide new categorical perspectives on Jacobs' notion of hypernormal...
04/17/2020

*-autonomous envelopes and 2-conservativity of duals

We show the doctrine of ∗-autonomous categories is "2-conservative" over...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.