Gentzenization

noun1

1. •
   Conversion of a logic into a Gentzenian form.

   • We shall recall that at the heart of the Gentzenization of the absolutely strict systems was the rule → L […] — 1973