Traducción Entre Teorías

Un mapeo sintáctico de fórmulas y demostraciones de una teoría a otra que pretende preservar la consecuencia lógica, la demostrabilidad u otras relaciones estructurales proof-teóricas, de modo que las derivaciones en la fuente correspondan a derivaciones en el destino.