摘要：重写系统和证明理论中的两个概念进行比较：可合流性和削减。我们展示了对于每个项上的重写系统，我们可以关联一个逻辑系统：对该重写系统进行不对称演绎，而重写系统的可合流性等价于关联逻辑系统的削减性质。然而，该等价性无法直接扩展到直接对原子命题进行重写的重写系统。
作者：Gilles Dowek
论文ID：2305.13790
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-05-24
PDF 下载： 英文版 中文版pdf翻译中