线性逻辑中的泰勒展开可逆
摘要：分析与证明复合指数线性逻辑（MELL）证明网可以扩展为其泰勒展开的微分网。我们证明了两个不同的MELL证明网具有两个不同的泰勒展开。作为推论，我们证明了MELL的完备性结果：我们展示了关系模型对MELL证明网的注射性，即关系模型中的MELL证明网之间的等价关系完全由截断消除公理化。
作者：Daniel de Carvalho
论文ID：1712.05505
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22