Complexity of Proofs and Their Transformations in Axiomatic Theories

Introduction Upper bounds on deduction elongation in cut elimination Systems of term equations with substitutions Logical deduction schemata in axiomatized theories Bounds for the complexity of terms occurring in proofs Proof strengthening theorems References.