算术的此处与彼处
摘要：强等价规则与这里与那里的命题逻辑之间的关系允许我们通过从一个群组的规则中推导出另一个群组的规则来建立强等价。在这个过程中，规则被重写成为命题公式。我们将这种证明强等价的方法扩展到了一个包括整数操作的answer set programming语言中。这种语言中表示规则的公式是一个一阶公式，它可能包含谓词常数之间的比较符号以及函数常数之间的算术操作符号。本文正在TPLP审稿中。
作者：Vladimir Lifschitz
论文ID：2108.03187
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22