相继式演算就是序贯演算吗，相继式演算在计算机科学领域有啥应用
Sequent Calculus 似乎没有「序贯演算」这个翻译，不过可能是港台的早期翻译。它是（两）个形式化的推理系统，用来构造形式化证明的。
推荐阅读
- 汽车知识|凯美瑞2.0L落地近22万，动力差，优惠少，但就是销量高！
- OC为何跌出语言榜前十
- 陆毅|三部大戏相继开播“观众缘”各不同
- 趣头条|喜欢你，没道理，吉利博瑞就是我的菜
- 电信主动上门维修是咋回事
- AutoLab|Lab测试：你以为奥迪A5就是你以为的“掀背版奥迪A4”？
- 当心！这类事故1年近20万起！一个不小心，就是终身遗憾...
- 京广和公司到底是干啥的
- 老易聊车|这台20万级合资SUV是真难，外观很年轻，入门248Ps，但就是卖不动
- 关晓彤|没作品就是自卑？关晓彤深夜发文回应质疑，鹿晗反应好冷漠