今回は ・言語に対して,その言語の定理式の全体が定まること をLKと呼ばれる流儀で述べます.以下,言語,その言語の論理式の集合Σを任意に固定します. (定義3-1)論理式の任意の集合の対(Ψ,Ω)をシーケントと呼び,Σから導出可能なシーケントの全…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。