After a brief promenade on the several notions of translations that appear in the literature, we concentrate on three paradigms of translations between logics: (conservative) translations, transfers and contextual translations. Though independent, such approaches are here compared and assessed against questions about the meaning of a translation and about comparative strength and extensibility of a logic with respect to another. © Birkhäuser Verlag Basel/Switzerland 2009.31118Béziau, J.Y., Recherches sur la Logique Universelle Excessivité, Négation, Séquents) (1994), 7. , Ph.D Thesis, ParisBueno-Soler, J., Possible-translations semantic algebraizability (2004), http://libdigi.unicamp.br/document/?code=vtls000337884, in Portuguese. Master Dissertation, IFCH, State University of Campinas Available atBrown, D.J., Suszko, R., Abstract Logics (1973), 102, pp. 9-41. , Dissertationes MathematicaeCarnielli, W.A., Many-valued logic and plausible reasoning (1990) Proceedings of the 20th International Congress on Many-Valued Logics, , In: University of Charlotte, North Carolina, pp. 328-335. IEEE Computer Society, New YorkCarnielli, W.A., Coniglio, M.E., Gabbay, D., Gouveia, P., Sernadas, C., (2008) Analysis and Synthesis of Logics. How to Cut and Paste Reasoning Systems, 1. , Springer, DordrechtConiglio, M.E., Recovering a logic from its fragments by meta-fibring (2007) Logica Universalis, 1 (2), pp. 377-416. , http://www.cle.unicamp.br/e-prints/vol_5,n_4,2005.html, Preprint available as: The Meta-Fibring environment: Preservation of meta-properties by fibring, CLE e-Prints, vol. 5, n. 4 (2005). Available atConiglio, M.E., Carnielli, W.A., Transfers between logics and their applications (2002) Studia Logica, 72 (3), pp. 367-400da Silva, J.J., D'Ottaviano, I.M.L., Sette, A.M., Translations between logics (1999) Models, Algebras and Proofs, Lectures Notes in Pure and Applied Mathematics, 203, pp. 435-448. , In: Caicedo, X., Montenegro, C.H.(eds) Marcel Dekker, New YorkD'Ottaviano, I.M.L., (1973) Fechos Caracterizados Por Interpretações (Closures Characterized By Interpretations), , in Portuguese. Master Dissertation, IMECC, State University of CampinasD'Ottaviano, I.M.L., Feitosa, H.A., Conservative translations and model- Theoretic translations (1999) Manuscrito - Revista Internacional De Filosofia, 2 (22), pp. 117-132D'Ottaviano, I.M.L., Feitosa, H.A., Many-valued logics and translations (1999) J. Appl. Non-Class. Log., 9 (1), pp. 121-140D'Ottaviano, I.M.L., Feitosa, H.A., Paraconsistent logics and translations (2000) Synthèse, 125, pp. 77-95. , DordrechtD'Ottaviano, I.M.L., Feitosa, H.A., Translations from Lukasiewicz logics into classical logic: Is it possible? (2006) Essays in Logic and Ontology, Poznan Studies in the Philosophy of the Sciences and the Humanities, 91, pp. 157-168. , In: Malinowski, J., Pietrusczak, A. (eds.)D'Ottaviano, I.M.L., Feitosa, H.A., Deductive systems and translations (2007) Perspectives on Universal Logic, pp. 125-157. , In: Béziau, J.-Y., Costa-Leite (Org.), A. (eds.) Polimetrica International Scientific PublisherEpstein, R.L., (1990) The Semantic Foundations of Logic, Vol. 1. Propositional Logics, , Kluwer, DordrechtFeitosa, H.A., Conservative translations (1997), in Portuguese. Ph.D Thesis, IFCH, State University of CampinasFeitosa, H.A., D'Ottaviano, I.M.L., Conservative translations (2001) Ann. Pure Appl. Logic, 108 (1-3), pp. 205-227Fernández, V.L., Fibring of Logis in Leibniz Hierarchy (2005), http://libdigi.unicamp.br/document/?code=vtls000365017, in Portuguese. Ph.D. Thesis, IFCH, State University of Campinas Available atGentzen, G., On the relation between intuitionist and classical arithmetic (1933) (1969) The Collected Papers of Gerhard Gentzen, pp. 53-67. , In: Szabo, M.E.(eds) North-Holland, AmsterdamGlivenko, V., Sur quelques points de la logique de M. Brouwer (1929) Bulletins De La Classe De Sciences, 5 (15), pp. 183-188. , Académie Royale de BelgiqueGödel, K., On intuitionistic arithmetic and number theory (1933e) (1986) K. Gödel's Collected Works, 1, pp. 287-295. , In: Feferman, S.(eds) Oxford University Press, OxfordGödel, K., An interpretation of the intuitionistic propositional calculus (1933f) (1986) K. Gödel's Collected Works, 1, pp. 301-302. , In:, (eds) Oxford University Press, OxfordGoguen, J.A., Burstall, R.M., Introducing institutions (1984) Logics of Programs (Carnegie-Mellon University, June 1983), Lecture Notes in Computer Science, 164, pp. 221-256. , In: Springer, HeidelbergGoguen, J.A., Burstall, R.M., Institutions: Abstract model theory for specification and programming (1992) J. ACM, 39 (1), pp. 95-146Hoppmann, A.G., Closure and Embedding (1973), in Portuguese. Ph.D Thesis, FFCL, São Paulo State University, Rio ClaroHumberstone, L., Béziau's translation paradox (2005) Theoria, 2, pp. 138-181Humberstone, L., Logical discrimination (2005) Logica Universalis: Towards a General Theory of Logic, pp. 207-228. , In: Béziau, J.-Y.(eds) Birkhäuser, BaselJanssen, T., (2007) Compiler Correctness and the Translation of Logics, , http://www.illc.uva.nl/Publications/ResearchReports/PP-2007-14.text.pdf, ILLC Research Reports and Technical Notes 2007 Report PP-2007-14 Available atKolmogorov, A.N., On the principle of excluded middle (1925) (1977) Mathematical Logic 1879-1931, , In: Heijenoort, J.(eds) Harvard University Press, CambridgeŁoś, J., Suszko, R., Remarks on sentential logics (1958) Indagationes Mathematicae, 20, pp. 177-183Marcos, J., Possible-translations semantics (1999), http://libdigi.unicamp.br/document/?code=vtls000224326, in Portuguese. Master Dissertation, IFCH, State University of Campinas Available atMossakowski, T., Diaconescu, R., Tarlecki, A., What is a logic? (2005) Logica Universalis: Towards a General Theory of Logic, pp. 111-134. , In: Béziau, J.-Y.(eds) Birkhäuser, BaselPrawitz, D., Malmnäs, P.E., A survey of some connections between classical, intuitionistic and minimal logic (1968) Contributions to Mathematical Logic, pp. 215-229. , In: Schmidt, H.(eds) North-Holland, AmsterdamScheer, M.C., Towards a theory of translations between cumulative logics (2002), http://libdigi.unicamp.br/document/?code=vtls000284889, in Portuguese. Master Dissertation, IFCH, State University of Campinas Available atSzczerba, L., Interpretability of elementary theories (1977) Logic, Foundations of Mathematics and Computability Theory, pp. 129-145. , In: Butts, H., Hintikka, J.(eds) D. Reidel, DordrechtWójcicki, R., (1988) Theory of Logical Calculi: Basic Theory of Consequence Operations, Vol. 199 of Synthese Library, , Kluwer, Dordrecht