Gentzenization

Noun

Meaning

Gentzenization (countable and uncountable, plural Gentzenizations)

Conversion of a logic into a Gentzenian form.

Source: en.wiktionary.org

genty Gentz Gentzenian Gentzler genu genu recurvatum