Gentzenization

Noun

Meaning

Gentzenization (countable and uncountable, plural Gentzenizations)

Conversion of a logic into a Gentzenian form.

Close letter words and terms