{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,21]],"date-time":"2026-07-21T23:29:55Z","timestamp":1784676595899,"version":"3.55.0"},"reference-count":9,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2024,10,9]],"date-time":"2024-10-09T00:00:00Z","timestamp":1728432000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2024,10,9]],"date-time":"2024-10-09T00:00:00Z","timestamp":1728432000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100003593","name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico","doi-asserted-by":"publisher","award":["313400\/2021-0"],"award-info":[{"award-number":["313400\/2021-0"]}],"id":[{"id":"10.13039\/501100003593","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100010661","name":"Horizon 2020 Framework Programme","doi-asserted-by":"publisher","award":["101007627"],"award-info":[{"award-number":["101007627"]}],"id":[{"id":"10.13039\/100010661","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2025,4]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>Since Prawitz proposal of his ecumenical system, where classical and intuitionistic logics co-exist in peace, there has been a discussion about the relation between <jats:italic>translations<\/jats:italic> and the ecumenical perspective. While it is undeniable that there exists a relationship, it is also undeniable that its very nature is controversial. The aim of this paper is to show that there are interesting relations between the G\u00f6del-Gentzen translation and the ecumenical perspective. We show that the ecumenical perspective <jats:italic>cannot<\/jats:italic> be reduced to the G\u00f6del-Gentzen translation, much less <jats:italic>be identified<\/jats:italic> with it.<\/jats:p>","DOI":"10.1007\/s11225-024-10105-5","type":"journal-article","created":{"date-parts":[[2024,10,9]],"date-time":"2024-10-09T09:01:47Z","timestamp":1728464507000},"page":"523-538","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Translations and Prawitz\u2019s Ecumenical System"],"prefix":"10.1007","volume":"113","author":[{"given":"Luiz Carlos","family":"Pereira","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7113-0801","authenticated-orcid":false,"given":"Elaine","family":"Pimentel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Valeria","family":"de Paiva","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2024,10,9]]},"reference":[{"key":"10105_CR1","doi-asserted-by":"crossref","unstructured":"Ferreira, G., and P. Oliva, On various negative translations, in S. van Bakel, S. Berardi, and U. Berger, (eds.), Proceedings Third International Workshop on Classical Logic and Computation, CL &C 2010, Brno, Czech Republic, 21-22 August 2010, vol. 47 of EPTCS, 2010, pp. 21\u201333.","DOI":"10.4204\/EPTCS.47.4"},{"key":"10105_CR2","unstructured":"Krauss, P.H., A constructive refinement of classical logic, Preprint 5\/92, Mathematische Schriften Kassel, 1992."},{"key":"10105_CR3","unstructured":"Medeiros, M.P.N., Tradu\u00e7\u00f5es via Teoria da Prova: aplica\u00e7\u00f5es \u00e0 l\u00f3gica linear, PhD thesis, PUC-Rio, 2001."},{"key":"10105_CR4","doi-asserted-by":"crossref","unstructured":"Pereira, L.C., and R.O. Rodriguez, Normalization, soundness and completeness for the propositional fragment of Prawitz\u2019 ecumenical system, Revista Portuguesa de Filosofia, 73(3-3):1153\u20131168, 2017.","DOI":"10.17990\/RPF\/2017_73_3_1153"},{"key":"10105_CR5","doi-asserted-by":"crossref","unstructured":"Pimentel, E., L.C. Pereira, and V. de Paiva, An ecumenical notion of entailment, Synthese, 198(22-S):5391\u20135413, 2021.","DOI":"10.1007\/s11229-019-02226-5"},{"key":"10105_CR6","unstructured":"Prawitz, D., Natural Deduction, vol. 3 of Stockholm Studies in Philosophy, Almqvist and Wiksell, 1965."},{"key":"10105_CR7","doi-asserted-by":"crossref","unstructured":"Prawitz, D., Ideas and results in proof theory, in J.E. Fenstad, (ed.), Proceedings of the Second Scandinavian Logic Symposium, vol. 63 of Studies in Logic and the Foundations of Mathematics, Elsevier, 1971, pp. 235\u2013307.","DOI":"10.1016\/S0049-237X(08)70849-8"},{"key":"10105_CR8","unstructured":"Prawitz, D., Classical versus intuitionistic logic, in E.H. Haeusler, W. de Campos Sanz, and B. Lopes, (eds.), Why is this a Proof?, Festschrift for Luiz Carlos Pereira, vol. 27 of Tributes, College Publications, 2015, pp. 15\u201332."},{"key":"10105_CR9","unstructured":"Troelstra, A.S., and D. van Dalen, Constructivism in Mathematic 2 vols, North-Holland, 1988."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-024-10105-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-024-10105-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-024-10105-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,5]],"date-time":"2025-05-05T12:41:51Z","timestamp":1746448911000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-024-10105-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,9]]},"references-count":9,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2025,4]]}},"alternative-id":["10105"],"URL":"https:\/\/doi.org\/10.1007\/s11225-024-10105-5","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,10,9]]},"assertion":[{"value":"16 May 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"9 October 2024","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}