Gentzenization

English

Etymology

From Gentzen +‎ -ization.

Noun

Gentzenization (countable and uncountable, plural Gentzenizations)

1. Conversion of a logic into a Gentzenian form.
   • 1968, Nicholas Rescher, Topics in Philosophical Logic:

     Proof Theory (theory of axiomatizability, Gentzenization)

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

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

   • 2012, M. Dunn, Truth or Consequences: Essays in Honor of Nuel Belnap‎^[1], page 231:

     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.