ゲンツェンとの関係 あまり知られていないがシーケント計算や自然演繹を考え出したゲンツェンの最初の論文はパウル・ヘルツの体系に関する結果である1。ヘルツは特にシーケント、カット規則、弱化規則に関してゲンツェンに影響を与えている。 この記事ではヘ…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。