重写逻辑 在数学计算机科学和逻辑学中重写逻辑是把目标逻辑的抽象语法替换为代数结构通过用其他术语表示公式子项的各种实现方法利用重写规则目标逻辑的推理规则可以被描述出来 重写逻辑中的结构化公理和语法都由用户自己定义这使其变得极为简单且通用在最基本的形式中一种重写的规则可适用多个规则因此当与适当的算法结合时重写系统被视为绝大多数编程语言和系统应用程序进行规范描述的计算机逻辑许多定理证明和宣告式编程语言是基于重写的 年José Meseguer在作为统一并发模型的条件重写逻辑一文中首先提出重写逻辑这一概念