最終更新日:2025/11/28
編集履歴(0)
元となった辞書の項目

Gentzenization

名詞
可算名詞 不可算名詞
日本語の意味
論理をGentzen形式(ゲンツェン形式)に変換すること
このボタンはなに?

古典論理体系をゲンツェン形式に変換することは、証明の構造を明確にし、カット消去を容易にした。

plural

Dictionary quizzes to help you remember the meaning

編集履歴(0)

ログイン / 新規登録

 

アプリをダウンロード!
DiQt

DiQt(ディクト)

無料

★★★★★★★★★★