小野寛晰『情報科学における論理』の読書ノート。(→前回) 第1章 命題論理(承前) 今回はシークエント計算を実装してみる。 定理1.8の証明で登場した式の分解を推論規則に、完全分解木を証明図に流用したいので、形式体系LKそのままではなくそれを少し変形…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。