Compiler correctness and the translation of logics
Theo Janssen

Abstract:
In this article the issue of compiler correctness will be
investigated, and the insights obtained there, are applied to the
translation between logics.

Keywords: Compiler correctness; translation of logics;
  Goedel translation; Kleene's 3 valued logic; Paraconsistent logic