Cobordisms and commutative categorial grammars

07/19/2021
by   Sergey Slavnov, et al.
0

We propose a concrete surface representation of abstract categorial grammars in the category of word cobordisms or cowordisms for short, which are certain bipartite graphs decorated with words in a given alphabet, generalizing linear logic proof-nets. We also introduce and study linear logic grammars, directly based on cobordisms and using classical multiplicative linear logic as a typing system.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset