修正演算

（计算机科学技术）

修正演算（revision calculus），计算机科学技术名词，使用一阶语言及其模型的概念来描述如何对公理系统进行扩充和修正的形式理论。