两种逻辑形式主义在重写方面的比较
摘要：Meseguer的重写逻辑和CRWL重写逻辑是两个著名的将重写视为逻辑推导的方法，尽管存在一些明显的相似之处，但它们的设计目标不同。在这里，我们研究它们之间的关系，无论是在句法还是语义层面上。尽管无法建立它们之间的蕴涵系统映射，但它们可以在彼此之间自然地模拟。在语义上，相应机构之间不存在嵌入。在此过程中，对Meseguer的重写逻辑中的蕴含和满足性进行了概括。我们还使用句法结果证明了CRWL的反射性质。
作者：Miguel Palomino
论文ID：cs/0601018
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-05-23