Making first order linear logic a generating grammar
It is known tenga flip orb that different categorial grammars have surface representation in a fragment of first order multiplicative linear logic (MLL1).We show that the fragment of interest is equivalent to the recently introduced extended tensor type calculus (ETTC).ETTC is a calculus of specific typed terms, which represent tuples of strings, m