弗朗索瓦·梅塔耶 乘法公式的体积和可证明性。 （英语） Zbl 0826.03003号 Girard，Jean-Yves（编辑）等人，《线性逻辑的进展》。基于1993年6月14日至18日在美国纽约州伊萨卡康奈尔大学数学科学研究所举行的线性逻辑研讨会。剑桥：剑桥大学出版社。伦敦。数学。Soc.Lect（社会学）。注释序列。222, 297-306 (1995). 摘要：在早期的一篇论文中[作者，Arch.Math.Log.33，No.3，169-188（1994；Zbl 0795.03077号)]，我们引入了配对图正确性的一个同调条件。作为这一结果的应用，我们通过定义公式的体积，在这里建立了乘法线性逻辑中可证明性的新条件。我们还扩展了M.I.卡诺维奇[“线性逻辑的乘法片段是NP-complete”，TR X-91-14，阿姆斯特丹大学（1991）]和P.林肯和T.温克勒[Theor.Comput.Sci.135，No.1，155-169（1994；见前面的综述）]抽象图形。关于整个系列，请参见[Zbl 0816.00018号]. MSC公司： 03B20型 经典逻辑子系统（包括直觉逻辑） 07年3月 证明的结构 关键词：同源性;成对图;可证明性;乘法线性逻辑;公式的体积;复杂性;抽象图 引文：Zbl 0826.03002号;Zbl 0795.03077号 PDF格式BibTeX公司 XML格式引用 \文本{F.Métayer}，隆德。数学。Soc.Lect（社会学）。注释序列。222297--306（1995；Zbl 0826.03003）