Gentzenization

Noun

 * 1) Conversion of a logic into a Gentzenian form.