検索結果- 英語 - 英語

検索内容:

Gentzen's

名詞

活用形複数形

plural of Gentzenization

日本語の意味

これは「Gentzenization」という名詞の複数形です。

The logician's recent paper explored several novel Gentzenizations of intuitionistic proofs to improve normalization analysis.

その論理学者の最近の論文は、直観主義的証明の正規化解析を改善するために、いくつかの新しいゲンツェン化の変種を検討した。

名詞

可算名詞不可算名詞

Conversion of a logic into a Gentzenian form.

日本語の意味

論理をGentzen形式（ゲンツェン形式）に変換すること

The Gentzenization of classical systems clarified the structure of their proofs and facilitated cut-elimination.

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