Meaning of Gentzenization | Babel Free
Definitions
Conversion of a logic into a Gentzenian form.
countable, uncountable
Examples
“Proof Theory (theory of axiomatizability, Gentzenization)”
“We shall recall that at the heart of the Gentzenization of the absolutely strict systems was the rule → L […]”
“When I first arrived in 1963, the hunt was on to find a Gentzenization of relevance logic, and not only his graduate seminars but mine too got caught up in the search.”
CEFR level
C2
Mastery
This word is part of the CEFR C2 vocabulary — mastery level.
This word is part of the CEFR C2 vocabulary — mastery level.