Classical linear logic, cobordisms and categorial grammars

11/10/2019
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 and supplied with specific plugging instructions: the sets of endpoints are subdivided into the incoming and the outgoing parts. We call such objects word cobordisms. A key observation is that word cobordisms can be organized in a category, very similar to the familiar category of topological cobordisms. This category is symmetric monoidal closed and compact closed and thus is a model of linear λ-calculus and classical, as well as intuitionistic linear logic. This allows us using linear logic as a typing system for word cobordisms. At least, this gives a concrete and intuitive representation of ACG. We think, however, that the category of word cobordisms, which has a rich structure and is independent of any grammar, might be interesting on its own right.

READ FULL TEXT

Authors

page 1

page 2

page 3

page 4

10/04/2018

Classical linear logic, cobordisms and categorical semantics of 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...
10/04/2018

Commutative linear logic as a multiple context-free grammar

The formalism of multiple context-free grammars (MCFG) is a non-trivial ...
06/17/2022

Making first order linear logic a generating grammar

It is known that different categorial grammars have surface representati...
12/31/2021

First order linear logic and tensor type calculus for categorial grammars

We study relationship between first order multiplicative linear logic (M...
05/17/2021

A CCG-Based Version of the DisCoCat Framework

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

Proof Theory of Skew Non-Commutative MILL

Monoidal closed categories naturally model NMILL, non-commutative multip...
This week in AI

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