Traduction Entre Théories

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Un mappage syntaxique des formules et des preuves d'une théorie dans une autre visant à préserver la conséquence logique, la démontrabilité ou d'autres relations structurales proof-théoriques, de sorte que des dérivations dans la théorie source correspondent à des dérivations dans la cible.