本杰明·拉尔夫;卢茨斯特拉汉堡 走向组合证明理论。 （英语） Zbl 1468.03076号 Cerrito，Serenella（编辑）等，《使用分析表和相关方法的自动推理》。第28届国际会议，2019年9月3日至5日，英国伦敦，TABLEAUX 2019。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11714, 259-276 (2019). 摘要：经典组合证明的主要部分是斜纤维，它精确地捕捉了弱化和收缩的行为。放松这两个规则的存在会导致某些子结构逻辑和子结构证明理论。在本文中，我们研究了用其他类型的图同态替换斜交纤维会发生什么。这就引出了新的逻辑和证明系统，我们称之为组合。关于整个系列，请参见[兹比尔1428.68011]。 引用于1文件 MSC公司： 07年3月 证明的结构 第03页 线性逻辑和其他子结构逻辑的理论证明 关键词：证明理论;组合证明;深层推理;维化理论;齿状图 PDF格式BibTeX公司 XML格式引用 \textit{B.Ralph}和\textit{L.Stra汉堡}，莱克特。注释计算。科学。11714、259--276（2019；Zbl 1468.03076） 全文： 内政部 哈尔