谢尔盖·斯拉夫诺夫 关于将Lambek演算嵌入到交换范畴文法中。 （英语） Zbl 07582715号 J.日志。计算。 32，第3号，479-517（2022）. 总结：我们认为张量文法，这是基于经典（而非直觉主义）线性逻辑的“交换”语法的一个示例。它们可以被视为抽象范畴文法（ACG）的表面表示，即ACG的派生转换为张量文法的派生，并且这种转换在字符串语言的层次上是同构的。基本成分是张量项，可以看作是编码和推广证明网。使用张量项使得语法极其简单，直接的几何意义变得透明。然后，我们解决了在我们的设置中编码非对易操作的问题。在用新的一元运算符丰富系统之后，这是可能的。由此产生的系统允许将ACG和Lambek语法表示为保守片段，而形式主义在我们看来仍然相当简单直观。 引用于1文件 MSC公司： 03年XX月 数学逻辑和基础 68倍 计算机科学 关键词：范畴语法;线性逻辑;兰贝克微积分 PDF格式BibTeX公司 XML格式引用 \textit{S.Slavnov}，J.Log。计算。32，编号3，479--517（2022；Zbl 07582715） 全文： DOI程序 arXiv公司