Proof-Theoretic Reduction

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A relation between formal theories whereby the proofs or theorems of one theory T1 can be simulated, reconstructed, or translated inside another theory T2, often by showing that derivations in T1 correspond to derivations in T2 possibly with bounded extra machinery.