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

page 1

page 2

page 3

page 4

research
10/04/2018

Classical linear logic, cobordisms and categorical semantics of categorial grammars

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

Cobordisms and commutative categorial grammars

We propose a concrete surface representation of abstract categorial gram...
research
10/04/2018

Commutative linear logic as a multiple context-free grammar

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

Making first order linear logic a generating grammar

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

First order linear logic and tensor type calculus for categorial grammars

We study relationship between first order multiplicative linear logic (M...
research
04/14/2022

Proof Theory of Skew Non-Commutative MILL

Monoidal closed categories naturally model NMILL, non-commutative multip...
research
04/15/2019

From Linear Logic to Cyclic Sharing

We present a translation from Multiplicative Exponential Linear Logic to...

Please sign up or login with your details

Forgot password? Click here to reset