Proof Normalization

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
The process of transforming a proof into a canonical or normal form by eliminating detours, redundant inferences, and commuting conversions so that the proof satisfies locality or minimality conditions specific to the proof system.