Several sequent calculi have been proposed to formalize different systems of logic.
異なる論理体系を形式化するために、いくつかのシーケント計算系が提案されてきた。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
