Theory Translation

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A syntactic mapping from formulas and proofs of one theory into another that aims to preserve logical consequence, provability, or other structural proof-theoretic relations so that derivations in the source correspond to derivations in the target.