gentzenization

Etymology

From Gentzen + -ization.

gentzenization means conversion of a logic into a Gentzenian form. Lexicurio rates it Sui generis — a strength score of 86 out of 100.

noun

Conversion of a logic into a Gentzenian form.“Proof Theory (theory of axiomatizability, Gentzenization)”