3.4 Proof Transformations
Proofs are not only objects that certify the truth of formulas, but also mathematical structures that can be analyzed and transformed, and studying these transformations reveals important properties about the nature of reasoning and the efficiency of different proof systems. A proof transformation takes a derivation and produces another derivation of the same conclusion, often with improved structure, reduced complexity, or clearer logical form, and such transformations are central in...