シーケント計算
シーケント計算(sequent calculus)
古典論理のシーケント計算と、直観主義論理のシーケントというものがある $ A_1, ..., A_m \vdash B_1,...,B_n の形をシーケントという。
読み方: $ A_1, ..., A_m から $ B_1,...,B_n が導出できる
$ x \vdash y : 導出
論理式の集合$ \Gamma = \omega_1,\omega_2,...,\omega_n 、論理式$ \varphi があったとき、 $ \Gamma \vdash \varphi
読み方: $ \Gamma (ラージガンマ)から$ \varphi (ファイ)が導出できる
$ Γ : ガンマと読む。前件(antecedent)
$ φ は後件(succedent)とも呼ぶ?
確認用
Q. シーケント計算
参考
関連