Sequent calculus
从技术上说，定型断言的证明系统是相继式演算（sequent calculus）的一种简单形式。 逻辑学家可能认识到，也可以用称为自然演绎的方式来形式化同样的基本概念，在某些关于 类型系统的文献中也确实...
基于2456个网页-相关网页
·2,447,543篇论文数据，部分数据来源于NoteExpress
在证明论和数理逻辑中，相继式演算（又译矢列演算、矢列式演算）是众所周知的一阶逻辑（和作为它的特殊情况的命题逻辑）的演绎系统。这个系统也叫做LK系统，用以区别于后来建立的有时也叫做相继式演算的类似风格的各种其他系统。另一个给这种系统的术语是Gentzen系统。
详细内容
应用推荐
模块上移
模块下移
不移动