シークエントけいさん

シークエント計算

シークエント計算(Sequent Calculus)とは、
ドイツの論理学者Gerhard Karl Erich Gentzenが定式化した
LK(Logischer Kalkül: 論理計算)と呼ばれる
古典論理の形式的な演繹法を指す用語のこと。

古典論理について一通りの事を知っておきたいというような方には、
中級論理学講義(慶應義塾大学文学部)の教材として公開されていた
照井 一成氏のこちらの講義ノートに詳説があり参考になるので、
一度目を通してみることをお勧めしたい。