Gentzenization

== English == === Etymology === From Gentzen +‎ -ization. === Noun === Gentzenization (countable and uncountable, plural Gentzenizations) Conversion of a logic into a Gentzenian form.