根岑式演绎

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

    又称矢列演算,Gentzen于1934年提出的证明论中一族用于形式证明的系统,区别于希尔伯特演绎系统,它们对每个联接或量词都有简单明了的推理规则。

英文名 Gentzen-style deduction