{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T11:08:00Z","timestamp":1777892880949,"version":"3.51.4"},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2009,4,21]],"date-time":"2009-04-21T00:00:00Z","timestamp":1240272000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Log. Univers."],"published-print":{"date-parts":[[2009,7]]},"DOI":"10.1007\/s11787-009-0002-5","type":"journal-article","created":{"date-parts":[[2009,4,20]],"date-time":"2009-04-20T15:10:36Z","timestamp":1240240236000},"page":"1-18","source":"Crossref","is-referenced-by-count":24,"title":["New Dimensions on Translations Between Logics"],"prefix":"10.1007","volume":"3","author":[{"given":"Walter A.","family":"Carnielli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcelo E.","family":"Coniglio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Itala M. L.","family":"D\u2019Ottaviano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,4,21]]},"reference":[{"key":"2_CR1","unstructured":"B\u00e9ziau, J. Y.: Recherches sur la Logique Universelle Excessivit\u00e9, N\u00e9gation, S\u00e9quents). Ph.D Thesis, Paris 7 (1994)"},{"key":"2_CR2","unstructured":"Bueno-Soler, J.: Sem\u00e2ntica alg\u00e9brica de tradu\u00e7\u00f5es poss\u00edveis (Possible- translations semantic algebraizability), in Portuguese. Master Dissertation, IFCH, State University of Campinas (2004). Available at http:\/\/libdigi.unicamp.br\/document\/?code=vtls000337884"},{"key":"2_CR3","first-page":"9","volume":"102","author":"D.J. Brown","year":"1973","unstructured":"Brown D.J., Suszko R.: Abstract Logics. Dissertationes Mathematicae 102, 9\u201341 (1973)","journal-title":"Dissertationes Mathematicae"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Carnielli, W.A.: Many-valued logic and plausible reasoning. In: Proceedings of the 20th International Congress on Many-Valued Logics. University of Charlotte, North Carolina, pp. 328\u2013335. IEEE Computer Society, New York (1990)","DOI":"10.1109\/ISMVL.1990.122642"},{"key":"2_CR5","unstructured":"Carnielli, W.A., Coniglio, M.E., Gabbay, D., Gouveia, P., Sernadas, C.: Analysis and synthesis of logics. How to cut and paste reasoning systems, vol. 1. Springer, Dordrecht (2008)"},{"key":"2_CR6","unstructured":"Coniglio, M.E.: Recovering a logic from its fragments by meta-fibring. Logica Universalis 1(2):377\u2013416, (2007) Preprint available as: The Meta-Fibring environment: Preservation of meta-properties by fibring, CLE e-Prints, vol. 5, n. 4 (2005). Available at http:\/\/www.cle.unicamp.br\/e-prints\/vol_5,n_4,2005.html"},{"issue":"3","key":"2_CR7","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1023\/A:1021845424153","volume":"72","author":"M.E. Coniglio","year":"2002","unstructured":"Coniglio M.E., Carnielli W.A.: Transfers between logics and their applications. Studia Logica 72(3), 367\u2013400 (2002)","journal-title":"Studia Logica"},{"key":"2_CR8","first-page":"435","volume-title":"Models, Algebras and Proofs, Lectures Notes in Pure and Applied Mathematics, vol. 203","author":"J.J. da Silva","year":"1999","unstructured":"da Silva J.J., D\u2019Ottaviano I.M.L., Sette A.M.: Translations between logics. In: Caicedo, X., Montenegro, C.H.(eds) Models, Algebras and Proofs, Lectures Notes in Pure and Applied Mathematics, vol. 203, pp. 435\u2013448. Marcel Dekker, New York (1999)"},{"key":"2_CR9","unstructured":"D\u2019Ottaviano, I.M.L.: Fechos caracterizados por interpreta\u00e7\u00f5es (Closures characterized by interpretations), in Portuguese. Master Dissertation, IMECC, State University of Campinas (1973)"},{"issue":"XXII","key":"2_CR10","first-page":"117","volume":"2","author":"I.M.L. D\u2019Ottaviano","year":"1999","unstructured":"D\u2019Ottaviano I.M.L., Feitosa H.A.: Conservative translations and model- theoretic translations. Manuscrito\u2014Revista Internacional de Filosofia 2(XXII), 117\u2013132 (1999a)","journal-title":"Manuscrito\u2014Revista Internacional de Filosofia"},{"issue":"1","key":"2_CR11","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1080\/11663081.1999.10510960","volume":"9","author":"I.M.L. D\u2019Ottaviano","year":"1999","unstructured":"D\u2019Ottaviano I.M.L., Feitosa H.A.: Many-valued logics and translations. J. Appl. Non-Class. Log. 9(1), 121\u2013140 (1999b)","journal-title":"J. Appl. Non-Class. Log."},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"D\u2019Ottaviano, I.M.L., Feitosa, H.A.: Paraconsistent logics and translations, Synth\u00e8se, vol. 125, pp 77\u201395. Dordrecht (2000)","DOI":"10.1023\/A:1005298624839"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"D\u2019Ottaviano, I.M.L., Feitosa, H.A.: Translations from Lukasiewicz logics into classical logic: is it possible? In: Malinowski, J., Pietrusczak, A. (eds.) Essays in logic and ontology, Poznan studies in the philosophy of the sciences and the humanities, vol. 91, pp 157\u2013168 (2006)","DOI":"10.1163\/9789004332966_011"},{"key":"2_CR14","unstructured":"D\u2019Ottaviano, I.M.L., Feitosa, H.A.: Deductive systems and translations. In: B\u00e9ziau, J.-Y., Costa-Leite (Org.), A. (eds.), Perspectives on universal logic, pp 125\u2013157. Polimetrica International Scientific Publisher (2007)"},{"key":"2_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-0525-2","volume-title":"The Semantic Foundations of Logic, vol. 1. Propositional Logics","author":"R.L. Epstein","year":"1990","unstructured":"Epstein R.L.: The Semantic Foundations of Logic, vol. 1. Propositional Logics. Kluwer, Dordrecht (1990)"},{"key":"2_CR16","unstructured":"Feitosa, H.A.: Tradu\u00e7\u00f5es conservativas (Conservative translations), in Portuguese. Ph.D Thesis, IFCH, State University of Campinas (1997)"},{"issue":"1\u20133","key":"2_CR17","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1016\/S0168-0072(00)00046-4","volume":"108","author":"H.A. Feitosa","year":"2001","unstructured":"Feitosa H.A., D\u2019Ottaviano I.M.L.: Conservative translations. Ann. Pure Appl. Logic 108(1\u20133), 205\u2013227 (2001)","journal-title":"Ann. Pure Appl. Logic"},{"key":"2_CR18","unstructured":"Fern\u00e1ndez, V.L.: Fibrila\u00e7\u00e3o de l\u00f3gicas na hierarquia de Leibniz (Fibring of Logis in Leibniz Hierarchy), in Portuguese. Ph.D. Thesis, IFCH, State University of Campinas (2005). Available at http:\/\/libdigi.unicamp.br\/document\/?code=vtls000365017"},{"key":"2_CR19","first-page":"53","volume-title":"The Collected Papers of Gerhard Gentzen","author":"G. Gentzen","year":"1969","unstructured":"Gentzen G.: On the relation between intuitionist and classical arithmetic (1933). In: Szabo, M.E.(eds) The Collected Papers of Gerhard Gentzen, pp. 53\u201367. North-Holland, Amsterdam (1969)"},{"issue":"15","key":"2_CR20","first-page":"183","volume":"5","author":"V. Glivenko","year":"1929","unstructured":"Glivenko V.: Sur quelques points de la logique de M. Brouwer. Acad\u00e9mie Royale de Belgique. Bulletins de la Classe de Sciences 5(15), 183\u2013188 (1929)","journal-title":"Brouwer. Acad\u00e9mie Royale de Belgique. Bulletins de la Classe de Sciences"},{"key":"2_CR21","first-page":"287","volume-title":"K. G\u00f6del\u2019s Collected Works, vol. 1","author":"K. G\u00f6del","year":"1986","unstructured":"G\u00f6del K. et\u00a0al.: On intuitionistic arithmetic and number theory (1933e). In: Feferman, S.(eds) K. G\u00f6del\u2019s Collected Works, vol. 1, pp. 287\u2013295. Oxford University Press, Oxford (1986)"},{"key":"2_CR22","first-page":"301","volume-title":"K. G\u00f6del\u2019s Collected Works, vol. 1","author":"K. G\u00f6del","year":"1986","unstructured":"G\u00f6del K. et\u00a0al.: An interpretation of the intuitionistic propositional calculus (1933f). In: , (eds) K. G\u00f6del\u2019s Collected Works, vol. 1, pp. 301\u2013302. Oxford University Press, Oxford (1986)"},{"key":"2_CR23","doi-asserted-by":"crossref","unstructured":"Goguen, J.A., Burstall, R.M.: Introducing institutions. In: Logics of Programs (Carnegie-Mellon University, June 1983), Lecture Notes in Computer Science, vol. 164, pp. 221\u2013256. Springer, Heidelberg (1984)","DOI":"10.1007\/3-540-12896-4_366"},{"issue":"1","key":"2_CR24","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J.A. Goguen","year":"1992","unstructured":"Goguen J.A., Burstall R.M.: Institutions: abstract model theory for specification and programming. J. ACM 39(1), 95\u2013146 (1992)","journal-title":"J. ACM"},{"key":"2_CR25","unstructured":"Hoppmann, A.G.: Fecho e imers\u00e3o (Closure and Embedding), in Portuguese. Ph.D Thesis, FFCL, S\u00e3o Paulo State University, Rio Claro (1973)"},{"key":"2_CR26","first-page":"138","volume":"2","author":"L. Humberstone","year":"2005","unstructured":"Humberstone L.: B\u00e9ziau\u2019s translation paradox. Theoria 2, 138\u2013181 (2005)","journal-title":"Theoria"},{"key":"2_CR27","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1007\/3-7643-7304-0_12","volume-title":"Logica Universalis: Towards a General Theory of Logic","author":"L. Humberstone","year":"2005","unstructured":"Humberstone L.: Logical discrimination. In: B\u00e9ziau, J.-Y.(eds) Logica Universalis: Towards a General Theory of Logic, pp. 207\u2013228. Birkh\u00e4user, Basel (2005)"},{"key":"2_CR28","unstructured":"Janssen, T.: Compiler correctness and the translation of logics. ILLC Research Reports and Technical Notes 2007, Report PP-2007-14, 2007. Available at http:\/\/www.illc.uva.nl\/Publications\/ResearchReports\/PP-2007-14.text.pdf"},{"key":"2_CR29","first-page":"414","volume-title":"From Frege to G\u00f6del: a Source Book","author":"A.N. Kolmogorov","year":"1977","unstructured":"Kolmogorov A.N.: On the principle of excluded middle (1925). In: Heijenoort, J.(eds) From Frege to G\u00f6del: a Source Book, pp. 414\u2013437. In: Mathematical Logic 1879\u20131931. Harvard University Press, Cambridge (1977)"},{"key":"2_CR30","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1016\/S1385-7258(58)50024-9","volume":"20","author":"J. \u0141o\u015b","year":"1958","unstructured":"\u0141o\u015b J., Suszko R.: Remarks on sentential logics. Indagationes Mathematicae 20, 177\u2013183 (1958)","journal-title":"Indagationes Mathematicae"},{"key":"2_CR31","unstructured":"Marcos, J.: Sem\u00e2nticas de tradu\u00e7\u00f5es poss\u00edveis (Possible-translations semantics), in Portuguese. Master Dissertation, IFCH, State University of Campinas, 1999. Available at http:\/\/libdigi.unicamp.br\/document\/?code=vtls000224326"},{"key":"2_CR32","first-page":"111","volume-title":"Logica Universalis: Towards a General Theory of Logic","author":"T. Mossakowski","year":"2005","unstructured":"Mossakowski T., Diaconescu R., Tarlecki A.: What is a logic?. In: B\u00e9ziau, J.-Y.(eds) Logica Universalis: Towards a General Theory of Logic, pp. 111\u2013134. Birkh\u00e4user, Basel (2005)"},{"key":"2_CR33","first-page":"215","volume-title":"Contributions to Mathematical Logic","author":"D. Prawitz","year":"1968","unstructured":"Prawitz D., Malmn\u00e4s P.E. et\u00a0al.: A survey of some connections between classical, intuitionistic and minimal logic. In: Schmidt, H.(eds) Contributions to Mathematical Logic, pp. 215\u2013229. North-Holland, Amsterdam (1968)"},{"key":"2_CR34","unstructured":"Scheer, M.C.: Para uma teoria de tradu\u00e7\u00f5es entre l\u00f3gicas cumulativas (Towards a theory of translations between cumulative logics), in Portuguese. Master Dissertation, IFCH, State University of Campinas, 2002. Available at http:\/\/libdigi.unicamp.br\/document\/?code=vtls000284889"},{"key":"2_CR35","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1007\/978-94-010-1138-9_8","volume-title":"Logic, Foundations of Mathematics and Computability Theory","author":"L. Szczerba","year":"1977","unstructured":"Szczerba L.: Interpretability of elementary theories. In: Butts, H., Hintikka, J.(eds) Logic, Foundations of Mathematics and Computability Theory, pp. 129\u2013145. D. Reidel, Dordrecht (1977)"},{"key":"2_CR36","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-6942-2","volume-title":"Theory of Logical Calculi: Basic Theory of Consequence Operations, vol. 199 of Synthese Library","author":"R. W\u00f3jcicki","year":"1988","unstructured":"W\u00f3jcicki R.: Theory of Logical Calculi: Basic Theory of Consequence Operations, vol. 199 of Synthese Library. Kluwer, Dordrecht (1988)"}],"container-title":["Logica Universalis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-009-0002-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11787-009-0002-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-009-0002-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T22:35:12Z","timestamp":1559428512000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11787-009-0002-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,4,21]]},"references-count":36,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2009,7]]}},"alternative-id":["2"],"URL":"https:\/\/doi.org\/10.1007\/s11787-009-0002-5","relation":{},"ISSN":["1661-8297","1661-8300"],"issn-type":[{"value":"1661-8297","type":"print"},{"value":"1661-8300","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,4,21]]}}}