Word.ws English Dictionary

Gentzenization

Gentzenization noun: conversion of a logic into a Gentzenian form.

Noun

Gentzenization (countable and uncountable, plural Gentzenizations)

  1. Conversion of a logic into a Gentzenian form.
    • Proof Theory (theory of axiomatizability, Gentzenization)1968, Nicholas Rescher, Topics in Philosophical Logic
    • 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

Forms of Gentzenization

pluralGentzenizations

Origin of Gentzenization

From German Gentzen + -ization.

Questions about Gentzenization

What does Gentzenization mean?
Gentzenization means conversion of a logic into a Gentzenian form.
What part of speech is Gentzenization?
Gentzenization is a noun.
What is the plural of Gentzenization?
The plural of Gentzenization is Gentzenizations.

Words near Gentzenization in the dictionary

  1. Gentues
  2. Gentus
  3. genty
  4. Gentz
  5. Gentzenian
  6. Gentzenization
  7. Gentzenizations
  8. Gentzes
  9. Gentzler
  10. Gentzlers
  11. genu

Source and license

Adapted from Wiktionary: Gentzenization (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.

Last updated:

Cite this entry: “Gentzenization.” Word.ws, https://word.ws/gentzenization. Based on Wiktionary, CC BY-SA 4.0.