斯捷潘·库兹涅佐夫 带迭代的Lambek演算中的“长规则”：没有满足和连接的不可判定性。 （英语） Zbl 07585726号 Olivetti，Nicola（编辑）等人，《模态逻辑的进展》。第13卷。第十三届会议记录（AiML 2020），芬兰赫尔辛基，虚拟会议，2020年8月24日至28日。伦敦：大学出版社。425-440 (2020). 小结：我们认为通过正迭代扩展的Lambek演算是一元连接词。正迭代的选择，而不是克莱纳星，是由兰贝克先前的非空性限制决定的。通常迭代是通过归纳模式或（ω）规则公理化的。我们考虑带规则的中间系统我们称之为“长规则”，它将（A）的迭代减少为对（A）到第（k）次幂的显式处理，并以（A^k\cdot A^+）的形式重用迭代。在存在加性析取（并）的情况下，“长规则”很容易推导。对于没有添加剂的“纯”Lambek微积分——情况并非如此。对于具有“长规则”的系统，我们证明了不可判定性。我们还研究了该系统与标准感应式系统的连接。关于整个系列，请参见[Zbl 1456.03003号]. MSC公司： 03楼52 线性逻辑和其他子结构逻辑的理论证明 03B47号 子结构逻辑（包括相关性、蕴涵、线性逻辑、Lambek演算、BCK和BCI逻辑） 关键词：兰贝克微积分;迭代;不可判定性 PDF格式BibTeX公司 XML格式引用 \textit{S.Kuznetsov}，in：模态逻辑的进展。第13卷。第十三届会议记录（AiML 2020），芬兰赫尔辛基，虚拟会议，2020年8月24-28日。伦敦：学院出版物。425--440（2020；Zbl 07585726）