摘要：弗罗贝尼乌斯伪幺半群和蛇映射在幺半范畴中的一致性定理的证明。由此可得到一个非对称乘法线性逻辑的三维证明符号，具有几何上的等价性概念，且不需要全局正确性标准或修建链接。我们认为传统的证明网是这些三维图形的二维投影。
作者：Lawrence Dunn and Jamie Vicary
论文ID：1601.05372
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22
PDF 下载： 英文版 中文版pdf翻译中