Normalization in natural deduction

Published: Sept. 18, 2021, 5 a.m.

This episode explains the idea of normalization of proofs in natural deduction.\xa0 We want to eliminate so-called detours in proofs, which occur when an introduction is immediately followed by an elimination.