Hello, you have come here looking for the meaning of the word
Gentzenization. In DICTIOUS you will not only get to know all the dictionary meanings for the word
Gentzenization, but we will also tell you about its etymology, its characteristics and you will know how to say
Gentzenization in singular and plural. Everything you need to know about the word
Gentzenization you have here. The definition of the word
Gentzenization will help you to be more precise and correct when speaking or writing your texts. Knowing the definition of
Gentzenization, as well as those of other words, enriches your vocabulary and provides you with more and better linguistic resources.
English
Etymology
From Gentzen + -ization.
Noun
Gentzenization (countable and uncountable, plural Gentzenizations)
- 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, 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.