Übersetzung Zwischen Theorien

Eine syntaktische Abbildung von Formeln und Beweisen einer Theorie in eine andere, die darauf abzielt, logische Konsequenz, Beweisbarkeit oder andere strukturelle proof-theoretische Relationen zu erhalten, sodass Ableitungen in der Quelle Ableitungen im Ziel entsprechen.