一种描述变化的逻辑，能对系统的迁移进行完备的推理。系统的基本变化用重写规则刻画。
逻辑性解读.把t、t'看作公式，t→t'表示t可以推导出t'。
逻辑框架.重写逻辑可以被用来表达其他逻辑（如等式逻辑、线性逻辑及霍尔逻辑等）。
与项重写系统.重写逻辑这一概念由José Meseguer等提出并定义，并作为他们自己开发的Maude的基础。 但计算机科学界一般把大部分相关知识体系归到“项重写系统”。 项重写和项重写系统的最早研究可以追溯