Gentzenization

可算名詞不可算名詞

Conversion of a logic into a Gentzenian form.

日本語の意味

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

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

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

意味（1）

Conversion of a logic into a Gentzenian form.

Proof Theory (theory of axiomatizability, Gentzenization)

Gentzenizations

（ plural ）