Making first order linear logic a generating grammar

06/17/2022
by   Sergey Slavnov, et al.
0

It is known that different categorial grammars have surface representation in a fragment of first order multiplicative linear logic. We show that the fragment of interest is equivalent to the recently introduced extended tensor type calculus. This provides the former not only with some alternative syntax and intuitive geometric representation, but also with an intrinsic deductive system, which has been absent.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset