Gentzenization

English Etymology From en de:Gentzen ization. Noun ~ Conversion of a logic into a Gentzenian form. en Nicholas Rescher Topics in Philosophical Logic 1968 Proof Theory (theory of axiomatizability, Gentzenization) en Modal Logic: The Lewis Modal Systems J. Jay Zeman Clarendon Press 1973 198 We shall recall that at the heart of the Gentzenization of the absolutely strict systems was the rule → L en Truth or Consequences: Essays in Honor of Nuel Belnap 231 M. Dunn 2012 When I first arrived in 1963, the hunt was on to find a Gentzenization of relevance logic, and not only his graduate seminars but mine too got caught up in the search. https://books.google.com/books?id=Ckr1CAAAQBAJ&lpg=PA231&dq=%22Gentzenization%22&pg=PA231#v=onepage&q=%22Gentzenization%22&f=false en eponyms