矢列演算

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

    即根岑式演绎。

英文名 sequent calculus



链接

Wikipedia https://en.wikipedia.org/wiki/sequent_calculus