丹尼尔·德·卡瓦略-线性逻辑中的泰勒展开是可逆的

lmcs:4643个-计算机科学中的逻辑方法，2018年12月7日，第14卷第4期-https://doi.org/10.23638/LMCS-14(4:21)2018
线性逻辑中的泰勒展开是可逆的第条

作者：丹尼尔·德·卡瓦略

    每个乘法指数线性逻辑（MELL）证明网都可以扩展变成一个微分网，这是它的泰勒展开式。我们证明了不同的MELL证明网有两个不同的泰勒展开式。作为推论，我们证明了MELL的一个完备性结果：我们表明关系模型是MELL证明网的内射，即关系模型通过删减精确地公理化。

    https://doi.org/10.23638/LMCS-14(4:21)2018
    资料来源：arXiv.org:1712.05505
    第14卷第4期
    发布日期：2018年12月7日
    受理日期：2018年10月24日
    提交日期：2018年6月25日
    关键词：计算机科学-计算机科学中的逻辑
    许可证：归因4.0国际（CC BY 4.0）

    3引用本文的文件

    共享和导出

    咨询统计

    这个页面已经被浏览了1548次。
    本文的PDF已下载417次。