Gentzenization

plural Gentzenizations

1. countableuncountableConversion of a logic into a Gentzenian form.

   Proof Theory (theory of axiomatizability, Gentzenization)

   1968, Nicholas Rescher, Topics in Philosophical Logic

   2 more examples

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

   1973, J. Jay Zeman, Modal Logic: The Lewis Modal Systems, Clarendon Press, page 198

   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.

   2012, M. Dunn, Truth or Consequences: Essays in Honor of Nuel Belnap, page 231