相继式演算 在证明论和数理逻辑中相继式演算又译矢列演算矢列式演算序贯演算是一阶逻辑和作为它的特殊情况的命题逻辑模态逻辑等逻辑的一类证明演算英语Proofcalculus第一个相继式演算 L K displaystyle LK 和 L J displaystyle LJ 由格哈德根岑Gerhard Gentzen在年年引入作为研究自然演绎的工具它的名字得来自德语的Logischer Kalkül意思是逻辑演算相继式演算系统有时被称为Gentzen系统但使用时应避免与同为Gentzen发明的证明演算自然演绎混淆自然演绎公理系统和相继式演算是常见的证明演算 相继式演算是逻辑研究的重要工具许多逻辑学者会为其所研究的逻辑构造出一个或多个相继式演算并研究其性质如切消定理