Gentzenization

English dictionary entry

Meanings

noun
  1. Conversion of a logic into a Gentzenian form.

Word forms

Gentzenization Gentzenizations

Etymology

From Gentzen + -ization.

This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.