经典逻辑 = 纤维化MLL
摘要：组合证明与传统命题证明（propositional proofs）一样，更加抽象。组合证明使用了新的数学模型，而不是像证明网（proof nets）那样使用了语法模型。组合证明是一种“纤维化”的多重线性证明网，因此有了标题中的口号。割除法（cut elimination）保留了序列演算中的丰富性：其非确定性没有崩溃为可并发的状态。【注：这仅是一个两页的摘要，被接受在逻辑计算机科学'05年的短期演讲中。】
作者：Dominic Hughes
论文ID：math/0504028
分类：Logic
分类简称：math.LO
提交时间：2007-05-23