来福网

发布于 2023-06-06

在证明论和数理逻辑中，相继式演算（又译矢列演算、矢列式演算、序贯演算）是一阶逻辑（和作为它的特殊情况的命题逻辑）、模态逻辑等逻辑的一类证明演算（英语：Proof_calculus）。第一个相继式演算LK{displaystyle LK}和LJ{displaystyle LJ}由格哈德·根岑（Gerhard Gentzen）在1934年/1935年引入，作为研究自然演绎的工具..