方式。这两种不同的解读方式对应重写逻辑的两种应用价值：语义框架和逻辑框架。
计算性解读.把t、t'看作系统碎片的状态，把重写当作状态迁移（类似Petri网）。
语义框架.重写逻辑可以用来表达计算系统和编程语言。重写逻辑被设计成一种描述变化的逻辑，能对系统的迁移进行完备的推理。系统的基本变化用重写规则刻画。
逻辑性解读.把t、t'看作公式，t→t'表示t可以推导出t'。
逻辑框架.重写逻辑可以被用来表达其他