修正演算

来自术语
跳转至: 导航搜索

    使用一阶语言及其模型的概念来描述如何对公理系统进行扩充和修正的形式理论。

英文名 revision calculus