Abstract
Since the early decades of the twentieth century interpretations between logics has been studied, and the term "translation" was not always used. We highlight as pioneers of researches in this area Kolmogorov (1925), Glivenko (1929), Lewis and Langford (1932), Gödel (1933) and Gentzen (1933). In 1999, da Silva, D'Ottaviano and Sette proposed a very general definition for the concept of …