Skip to content

Gentzenization

Today it means: Conversion of a logic into a Gentzenian form. Full definition →

Ask AI about its historyChatGPT Claude Perplexity Google AI Grok

The story

From German Gentzen + -ization.

Etymology from Wiktionary, CC BY-SA 4.0.