根岑式演绎

（计算机科学技术）

根岑式演绎（Gentzen-style deduction），计算机科学技术名词，根岑（Gentzen）于1934年提出的证明论中一族用于形式证明的系统，区别于希尔伯特演绎系统，它们对每个联接或量词都有简单明了的推理规则。