Gentzenization

countable uncountable

Conversion of a logic into a Gentzenian form.

Japanese Meaning

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

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

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

Sense（1）

Conversion of a logic into a Gentzenian form.

Proof Theory (theory of axiomatizability, Gentzenization)

Gentzenizations

（ plural ）