Classical linear logic, cobordisms and categorial grammars

by   Sergey Slavnov, et al.

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.



page 1

page 2

page 3

page 4


Classical linear logic, cobordisms and categorical semantics of categorial grammars

We propose a categorial grammar based on classical multiplicative linear...

Cobordisms and commutative categorial grammars

We propose a concrete surface representation of abstract categorial gram...

Commutative linear logic as a multiple context-free grammar

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

Making first order linear logic a generating grammar

It is known that different categorial grammars have surface representati...

First order linear logic and tensor type calculus for categorial grammars

We study relationship between first order multiplicative linear logic (M...

A CCG-Based Version of the DisCoCat Framework

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

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.