Gentzenization (English, noun)
expansion: Gentzenization (countable and uncountable, plural Gentzenizations)
Senses:
glosses: Conversion of a logic into a Gentzenian form.
tags: countable
uncountable
Forms:
form: Gentzenizations
tags: plural