?相继式演算

从技术上说，定型断言的证明系统是相继式演算（sequent calculus）的一种简单形式。 逻辑学家可能认识到，也可以用称为自然演绎的方式来形式化同样的基本概念，在某些关于 类型系统的文献中也确实...