PROOF-NETS : THE PARALLEL SYNTAX FOR PROOF-THEORY
PROOF-NETS : THE PARALLEL SYNTAX FOR PROOF-THEORY
复制标题
证明网：证明理论的并行语法
DOI：
--
复制
发表时间：
1996
期刊：
影响因子：
--
通讯作者：
J. Girard
中科院分区：
文献类型：
--
作者：
J. Girard
本文主要讨论证明网向添加剂的推广，并给出了已知的最佳解。它提出了两个切割消除过程，懒惰的是在线性时间。结果表明，该解与量子数是相容的，并且也包含了指数的结构规则。
The paper is mainly concerned with the extension of proof-nets to additives, for which the best known solution is presented. It proposes two cut-elimination procedures, the lazy one being in linear time. The solution is shown to be compatible with quanti(cid:12)ers, and the structural rules of exponentials are also accommodated.