First order linear logic and tensor type calculus for categorial grammars

Sergey Slavnov

We study relationship between first order multiplicative linear logic (MLL1), which has been known to provide representations to different categorial grammars, and the recently int…