根岑推导系统

（理学 | 计算机科学技术）

根岑推导系统（Gentzen deduction system），理学-计算机科学技术-计算机科学理论-可计算模型-形式化，德国的数学家和逻辑学家G.根岑（Gerhard Gentzen）于1934年提出的证明论中一族用于形式证明的系统。又称矢列式演算。根岑推导系统同公理系统和自然推理系统构成传统的一阶逻辑的三个推理系统。假设逻辑语言包含逻辑连接词和量词。