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 {\it 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.
翻译:众所周知,不同分类语法的表面代表形式是一阶多倍线性逻辑的片段。 我们显示,利息的片段相当于最近引入的 ~it 扩展 Exhoor 型微积分 } 。 这不仅为前者提供了某些其他的语法和直观几何表达形式,而且提供了内在的推算系统,而这个系统已经不存在。