Konsequenzkonservierung

Die Eigenschaft einer Übersetzung, Abbildung oder Erweiterung zwischen logischen Systemen, die garantiert, dass Konsequenzen (Folgerungen) in einem System den Konsequenzen im anderen entsprechen, sodass beim Übersetzen keine Folgerungen fälschlich hinzugefügt oder verloren gehen.