gentzenization

/JH EH1 N T Z AH0 N AH0 Z EY1 SH AH0 N/
noun
  1. 1

    Conversion of a logic into a Gentzenian form.