Overview

normalization


Show Summary Details

Quick Reference

Dag Prawitz proved (1965) an analogue for natural deduction systems of Gentzen's cut-elimination theorem: every derivation could be transformed into a normalized one. The concept of a normalized proof is ...

Subjects: Philosophy.


Reference entries

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.