{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,3]],"date-time":"2025-12-03T18:03:29Z","timestamp":1764785009562,"version":"3.37.3"},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2022,12,1]],"date-time":"2022-12-01T00:00:00Z","timestamp":1669852800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,12,1]],"date-time":"2022-12-01T00:00:00Z","timestamp":1669852800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100015494","name":"Instituto de Telecomunica\u00e7\u00f5es","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100015494","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100001871","name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001871","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2023,6]]},"DOI":"10.1007\/s10992-022-09691-3","type":"journal-article","created":{"date-parts":[[2022,12,1]],"date-time":"2022-12-01T15:07:59Z","timestamp":1669907279000},"page":"889-913","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Conservative Translations Revisited"],"prefix":"10.1007","volume":"52","author":[{"given":"J.","family":"Ramos","sequence":"first","affiliation":[]},{"given":"J.","family":"Rasga","sequence":"additional","affiliation":[]},{"given":"C.","family":"Sernadas","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,12,1]]},"reference":[{"key":"9691_CR1","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/0003-4843(74)90016-3","volume":"7","author":"J Barwise","year":"1974","unstructured":"Barwise, J. (1974). Axioms for abstract model theory. Annals for Mathematical Logic, 7, 221\u2013265.","journal-title":"Annals for Mathematical Logic"},{"key":"9691_CR2","doi-asserted-by":"crossref","unstructured":"Blok, W.J., & Pigozzi, D. (1989). Algebraizable Logics, Memoirs of the American Mathematical Society (Vol. 396). AMS.","DOI":"10.1090\/memo\/0396"},{"key":"9691_CR3","first-page":"52","volume":"102","author":"DJ Brown","year":"1973","unstructured":"Brown, D.J., Suszko, R., & Bloom, S.L. (1973). Abstract logics. Dissertationes Mathematicae, 102, 52.","journal-title":"Dissertationes Mathematicae"},{"issue":"2","key":"9691_CR4","first-page":"77","volume":"34","author":"J Bueno-Soler","year":"2005","unstructured":"Bueno-Soler, J., & Carnielli, W.A. (2005). Possible-translations algebraization for paraconsistent logics. Bulletin of the Section of Logic, 34(2), 77\u201392.","journal-title":"Bulletin of the Section of Logic"},{"key":"9691_CR5","doi-asserted-by":"crossref","unstructured":"Carnielli, W.A. (1990). Many-valued logics and plausible reasoning. In Proceedings of the twentieth international symposium on multiple-valued logic (pp. 328\u2013335).","DOI":"10.1109\/ISMVL.1990.122642"},{"key":"9691_CR6","doi-asserted-by":"crossref","unstructured":"Carnielli, W.A., & Coniglio, M.E. (2016). Paraconsistent logic: consistency. Contradiction and negation. Springer.","DOI":"10.1007\/978-3-319-33205-5"},{"issue":"1","key":"9691_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s11787-009-0002-5","volume":"3","author":"WA Carnielli","year":"2009","unstructured":"Carnielli, W.A., Coniglio, M.E., & D\u2019Ottaviano, I.L. (2009). New dimensions on translations between logics. Logica Universalis, 3(1), 1\u201318.","journal-title":"Logica Universalis"},{"key":"9691_CR8","unstructured":"Diaconescu, R. (2008). institution-independent model theory. Studies in Universal Logic, Birkh\u00e4user."},{"issue":"1-2","key":"9691_CR9","first-page":"77","volume":"125","author":"IML D\u2019Ottaviano","year":"2000","unstructured":"D\u2019Ottaviano, I.M.L., & Feitosa, H.A. (2000). Paraconsistent logics and translations. Synthese, 125(1-2), 77\u201395.","journal-title":"Synthese"},{"issue":"1-3","key":"9691_CR10","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/S0168-0072(00)00046-4","volume":"108","author":"HA Feitosa","year":"2001","unstructured":"Feitosa, H.A., & D\u2019Ottaviano, I.M.L. (2001). Conservative translations. Annals of Pure and Applied Logic, 108(1-3), 205\u2013227.","journal-title":"Annals of Pure and Applied Logic"},{"key":"9691_CR11","doi-asserted-by":"crossref","unstructured":"Fiadeiro, J.L., & Sernadas, A. (1987). Structuring theories on consequence. In ADT 1987: recent trends in data type specification, Vol. 332 of lecture notes in computer science (pp. 44\u201372). Springer.","DOI":"10.1007\/3-540-50325-0_3"},{"issue":"5","key":"9691_CR12","first-page":"183","volume":"15","author":"V Glivenko","year":"1929","unstructured":"Glivenko, V. (1929). Sur quelques points de la logique de M. Brouwer. Bulletins de la Classe des Sciences, 15(5), 183\u2013188.","journal-title":"Bulletins de la Classe des Sciences"},{"key":"9691_CR13","unstructured":"G\u00f6del, K. (1986). Collected works (vol. I). Oxford University Press."},{"key":"9691_CR14","doi-asserted-by":"crossref","unstructured":"Goguen, J.A., & Burstall, R.M. (1984). Introducing institutions. In Logics of programs, vol. 164 of lecture notes in computer science (pp. 221\u2013256). Springer.","DOI":"10.1007\/3-540-12896-4_366"},{"issue":"1","key":"9691_CR15","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"JA Goguen","year":"1992","unstructured":"Goguen, J.A., & Burstall, R.M. (1992). Institutions: abstract model theory for specification and programming. Journal of the Association for Computing Machinery, 39(1), 95\u2013146.","journal-title":"Journal of the Association for Computing Machinery"},{"issue":"4","key":"9691_CR16","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1017\/S1755020312000226","volume":"5","author":"E Je\u0159\u00e1bek","year":"2012","unstructured":"Je\u0159\u00e1bek, E. (2012). The ubiquity of conservative translations. The Review of Symbolic Logic, 5(4), 666\u2013678.","journal-title":"The Review of Symbolic Logic"},{"key":"9691_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.tcs.2011.11.001","volume":"415","author":"N Kamide","year":"2012","unstructured":"Kamide, N., & Wansing, H. (2012). Proof theory of Nelson\u2019s paraconsistent logic: a uniform perspective. Theoretical Computer Science, 415, 1\u201338.","journal-title":"Theoretical Computer Science"},{"key":"9691_CR18","first-page":"646","volume":"32","author":"A Kolmogorov","year":"1925","unstructured":"Kolmogorov, A. (1925). On the principle \u201ctertium non datur\u201d. Mathematicheskii Sbornik, 32, 646\u2013667. English translation, On the principle of excluded middle, in From Frege to G\u00f6del: A Source Book on Mathematical Logic. J. van Heijenoort 1967, pp 414\u2013437.","journal-title":"Mathematicheskii Sbornik"},{"issue":"suppl. 22","key":"9691_CR19","doi-asserted-by":"publisher","first-page":"S5555","DOI":"10.1007\/s11229-019-02139-3","volume":"198","author":"E Kubyshkina","year":"2021","unstructured":"Kubyshkina, E. (2021). Conservative translations of four-valued logics in modal logic. Synthese, 198(suppl. 22), S5555\u2013S5571.","journal-title":"Synthese"},{"issue":"1","key":"9691_CR20","doi-asserted-by":"publisher","first-page":"7","DOI":"10.3166\/jancl.18.7-28","volume":"18","author":"J Marcos","year":"2008","unstructured":"Marcos, J. (2008). Possible-translations semantics for some weak classically-based paraconsistent logics. Journal of Applied Non-Classical Logics, 18(1), 7\u201328.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"9691_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2268135","volume":"13","author":"JCC McKinsey","year":"1948","unstructured":"McKinsey, J.C.C., & Tarski, A. (1948). Some theorems about the sentential calculi of Lewis and Heyting. The Journal of Symbolic Logic, 13, 1\u201315.","journal-title":"The Journal of Symbolic Logic"},{"key":"9691_CR22","doi-asserted-by":"crossref","unstructured":"Meseguer, J. (1989). General logics. In Logic Colloquium\u201987, Vol. 129 of Stud. Logic Found. Math. (pp. 275\u2013329). North-Holland.","DOI":"10.1016\/S0049-237X(08)70132-0"},{"key":"9691_CR23","unstructured":"Mints, G. (2000). A short introduction to intuitionistic logic. Kluwer."},{"key":"9691_CR24","doi-asserted-by":"crossref","unstructured":"Mints, G. (2012). The G\u00f6del-Tarski translations of intuitionistic propositional formulas. In E. Edem, J. Lee, Y. Lierler, & D. Pearce (Eds.) Correct reasoning (pp. 487\u2013491). Springer.","DOI":"10.1007\/978-3-642-30743-0_33"},{"key":"9691_CR25","doi-asserted-by":"crossref","unstructured":"Prawitz, D., & Malmn\u00e4s, P.-E. (1968). A survey of some connections between classical, intuitionistic and minimal logic. In Contributions to mathematical logic colloquium (pp. 215\u2013229). North-Holland.","DOI":"10.1016\/S0049-237X(08)70527-5"},{"key":"9691_CR26","unstructured":"Rybakov, V. (1997). Admissibility of logical inference rules. North-Holland."},{"issue":"5-6","key":"9691_CR27","doi-asserted-by":"publisher","first-page":"13067","DOI":"10.1007\/s11229-021-03367-2","volume":"199","author":"G Schurz","year":"2021","unstructured":"Schurz, G. (2021). Why classical logic is privileged: justification of logics based on translatability. Synthese, 199(5-6), 13067\u201313094.","journal-title":"Synthese"},{"issue":"1","key":"9691_CR28","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/s10992-021-09608-6","volume":"51","author":"G Schurz","year":"2022","unstructured":"Schurz, G. (2022). Meaning-preserving translations of non-classical logics into classical logic: between pluralism and monism. Journal of Philosophical Logic, 51(1), 27\u201355.","journal-title":"Journal of Philosophical Logic"},{"issue":"1","key":"9691_CR29","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1017\/bsl.2021.17","volume":"27","author":"J Rasga","year":"2021","unstructured":"Rasga, J., Sernadas, C., & Carnielli, W. A. (2021). Reduction techniques for proving decidability in logics and their meet-combination. The Bulletin of Symbolic Logic, 27(1), 39\u201366.","journal-title":"The Bulletin of Symbolic Logic"},{"issue":"4","key":"9691_CR30","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1305\/ndjfl\/1134397662","volume":"46","author":"G Voutsadakis","year":"2005","unstructured":"Voutsadakis, G. (2005). Categorical abstract algebraic logic: models of \u03c0-institutions. Notre Dame Journal of Formal Logic, 46(4), 439\u2013460.","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"6","key":"9691_CR31","doi-asserted-by":"publisher","first-page":"1453","DOI":"10.1093\/logcom\/exr035","volume":"22","author":"A Sernadas","year":"2012","unstructured":"Sernadas, A., Sernadas, C., & Rasga, J. (2012). On meet-combination of logics. Journal of Logic and Computation, 22(6), 1453\u20131470.","journal-title":"Journal of Logic and Computation"},{"key":"9691_CR32","doi-asserted-by":"crossref","unstructured":"W\u00f3jcicki, R. (1988). Theory of logical calculi. Kluwer.","DOI":"10.1007\/978-94-015-6942-2"},{"issue":"2","key":"9691_CR33","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1093\/jigpal\/jzm057","volume":"16","author":"L Cruz-Filipe","year":"2008","unstructured":"Cruz-Filipe, L., Sernadas, A., & Sernadas, C. (2008). Heterogeneous fibring of deductive systems via abstract proof systems. Logic Journal of the IGPL, 16(2), 121\u2013153.","journal-title":"Logic Journal of the IGPL"},{"key":"9691_CR34","unstructured":"Carnielli, W. A., Coniglio, M. E., Gabbay, D., Gouveia, P., & Sernadas, C. (2008). Analysis and synthesis of logics. Springer."},{"issue":"4","key":"9691_CR35","doi-asserted-by":"publisher","first-page":"1541","DOI":"10.2178\/jsl\/1190150298","volume":"67","author":"C Sernadas","year":"2002","unstructured":"Sernadas, C., Rasga, J., & Carnielli, W. A. (2002). Modulated fibring and the collapsing problem. The Journal of Symbolic Logic, 67(4), 1541\u20131569.","journal-title":"The Journal of Symbolic Logic"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-022-09691-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10992-022-09691-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-022-09691-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,15]],"date-time":"2023-05-15T15:04:22Z","timestamp":1684163062000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10992-022-09691-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,12,1]]},"references-count":35,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2023,6]]}},"alternative-id":["9691"],"URL":"https:\/\/doi.org\/10.1007\/s10992-022-09691-3","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"type":"print","value":"0022-3611"},{"type":"electronic","value":"1573-0433"}],"subject":[],"published":{"date-parts":[[2022,12,1]]},"assertion":[{"value":"17 June 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 October 2022","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"1 December 2022","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors did not have and do not have any relationship with any organization with a direct or indirect financial interest in the subject matter discussed in the manuscript","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"<!--Emphasis Type='Bold' removed-->Competing interests"}}]}}