The Gentzenization of classical systems clarified the structure of their proofs and facilitated cut-elimination.
古典論理体系をゲンツェン形式に変換することは、証明の構造を明確にし、カット消去を容易にした。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
