{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T05:23:18Z","timestamp":1790832198962,"version":"4.1.0"},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"S22","license":[{"start":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T00:00:00Z","timestamp":1556841600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T00:00:00Z","timestamp":1556841600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100003593","name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico","doi-asserted-by":"publisher","award":["308829\/2016-6"],"award-info":[{"award-number":["308829\/2016-6"]}],"id":[{"id":"10.13039\/501100003593","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002322","name":"Coordena\u00e7\u00e3o de Aperfei\u00e7oamento de Pessoal de N\u00edvel Superior","doi-asserted-by":"publisher","award":["88881.117603\/2016-01"],"award-info":[{"award-number":["88881.117603\/2016-01"]}],"id":[{"id":"10.13039\/501100002322","id-type":"DOI","asserted-by":"publisher"}]},{"name":"FWF - START","award":["Y544- N23"],"award-info":[{"award-number":["Y544- N23"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2021,10]]},"DOI":"10.1007\/s11229-019-02226-5","type":"journal-article","created":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T18:04:06Z","timestamp":1556906646000},"page":"5391-5413","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":20,"title":["An ecumenical notion of entailment"],"prefix":"10.1007","volume":"198","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7113-0801","authenticated-orcid":false,"given":"Elaine","family":"Pimentel","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Luiz Carlos","family":"Pereira","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":[[2019,5,3]]},"reference":[{"issue":"1\u20132","key":"2226_CR1","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1016\/S1567-8326(01)00009-1","volume":"49","author":"J Avigad","year":"2001","unstructured":"Avigad, J. (2001). Algebraic proofs of cut elimination. The Journal of Logic and Algebraic Programming, 49(1\u20132), 15\u201330. https:\/\/doi.org\/10.1016\/S1567-8326(01)00009-1.","journal-title":"The Journal of Logic and Algebraic Programming"},{"key":"2226_CR2","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/BF01531058","volume":"4","author":"A Avron","year":"1991","unstructured":"Avron, A. (1991). Hypersequents, logical consequence and intermediate logics for concurrency. Annals of Mathematics and Artificial Intelligence, 4, 225\u2013248. https:\/\/doi.org\/10.1007\/BF01531058.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"2226_CR3","volume-title":"Logic: From Foundations to Applications","author":"A Avron","year":"1996","unstructured":"Avron, A. (1996). The method of hypersequents in the proof theory of propositional non-classical logics. In W. Hodges, M. Hyland, C. Steinhorn, & J. Truss (Eds.), Logic: From Foundations to Applications. New York: Clarendon Press."},{"issue":"3","key":"2226_CR4","first-page":"233","volume":"46","author":"C Blasio","year":"2017","unstructured":"Blasio, C., ao Marcos, J., & Wansing, H. (2017). An inferentially many-valued two dimensional notion of entailment. Bulletin of the Section of Logic, 46(3), 233\u2013262.","journal-title":"Bulletin of the Section of Logic"},{"key":"2226_CR5","doi-asserted-by":"crossref","unstructured":"Boudard, M., & Hermant, O. (2013). Polarizing double-negation translations. In 19th International conference on logic for programming, artificial intelligence, and reasoning, LPAR-19, Stellenbosch, South Africa, December 14\u201319, 2013, pp. 182\u2013197.","DOI":"10.1007\/978-3-642-45221-5_14"},{"key":"2226_CR6","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1007\/s00153-009-0137-3","volume":"48","author":"K Br\u00fcnnler","year":"2009","unstructured":"Br\u00fcnnler, K. (2009). Deep sequent systems for modal logic. Archive for Mathematical Logic, 48, 551\u2013577.","journal-title":"Archive for Mathematical Logic"},{"key":"2226_CR7","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1002\/malq.19920380107","volume":"38","author":"RA Bull","year":"1992","unstructured":"Bull, R. A. (1992). Cut elimination for propositional dynamic logic wihout *. Zeitschr f math Logik und Grundlagen d Math, 38, 85\u2013100.","journal-title":"Zeitschr f math Logik und Grundlagen d Math"},{"issue":"2","key":"2226_CR8","first-page":"317","volume":"28","author":"V de Paiva","year":"2005","unstructured":"de Paiva, V., & Pereira, L. C. (2005). A short note on intuitionistic propositional logic with multiple conclusions. Manuscrito, 28(2), 317\u2013329.","journal-title":"Manuscrito"},{"key":"2226_CR9","first-page":"228","volume":"27","author":"G Dowek","year":"2016","unstructured":"Dowek, G. (2016). On the definition of the classical connectives and quantifiers. Why is this a proof? Festschrift for Luiz Carlos Pereira, 27, 228\u2013238.","journal-title":"Festschrift for Luiz Carlos Pereira"},{"issue":"3","key":"2226_CR10","doi-asserted-by":"publisher","first-page":"795","DOI":"10.2307\/2275431","volume":"57","author":"R Dyckhoff","year":"1992","unstructured":"Dyckhoff, R. (1992). Contraction-free sequent calculi for intuitionistic logic. Journal of Symbolic Logic, 57(3), 795\u2013807.","journal-title":"Journal of Symbolic Logic"},{"issue":"1\u20132","key":"2226_CR11","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/s00153-011-0254-7","volume":"51","author":"R Dyckhoff","year":"2012","unstructured":"Dyckhoff, R., & Negri, S. (2012). Proof analysis in intermediate logics. Archive for Mathematical Logic, 51(1\u20132), 71\u201392. https:\/\/doi.org\/10.1007\/s00153-011-0254-7.","journal-title":"Archive for Mathematical Logic"},{"key":"2226_CR12","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1016\/j.entcs.2015.04.007","volume":"312","author":"C Englander","year":"2015","unstructured":"Englander, C., Dowek, G., & Haeusler, E. H. (2015). Yet another bijection between sequent calculus and natural deduction. Electronic Notes in Theoretical Computer Science, 312, 107\u2013124. https:\/\/doi.org\/10.1016\/j.entcs.2015.04.007.","journal-title":"Electronic Notes in Theoretical Computer Science"},{"issue":"1","key":"2226_CR13","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1215\/00294527-2377869","volume":"55","author":"M Fitting","year":"2014","unstructured":"Fitting, M. (2014). Nested sequents for intuitionistic logics. Notre Dame Journal of Formal Logic, 55(1), 41\u201361. https:\/\/doi.org\/10.1215\/00294527-2377869.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"2226_CR14","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198538332.001.0001","volume-title":"Labelled deductive systems","author":"D Gabbay","year":"1996","unstructured":"Gabbay, D. (1996). Labelled deductive systems. Oxford: Clarendon Press."},{"key":"2226_CR15","volume-title":"The collected papers of gerhard gentzen","author":"G Gentzen","year":"1969","unstructured":"Gentzen, G. (1969). The collected papers of gerhard gentzen. Amsterdam: North-Holland Pub. Co."},{"issue":"3","key":"2226_CR16","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1016\/0168-0072(93)90093-S","volume":"59","author":"J Girard","year":"1993","unstructured":"Girard, J. (1993). On the unity of logic. Annals of Pure and Applied Logic, 59(3), 201\u2013217. https:\/\/doi.org\/10.1016\/0168-0072(93)90093-S.","journal-title":"Annals of Pure and Applied Logic"},{"key":"2226_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"JY Girard","year":"1987","unstructured":"Girard, J. Y. (1987). Linear logic. Theoretical Computer Science, 50, 1\u2013102.","journal-title":"Theoretical Computer Science"},{"issue":"11","key":"2226_CR18","doi-asserted-by":"publisher","first-page":"1367","DOI":"10.1016\/j.apal.2010.04.007","volume":"161","author":"D Ilik","year":"2010","unstructured":"Ilik, D., Lee, G., & Herbelin, H. (2010). Kripke models for classical logic. Annals of Pure and Applied Logic, 161(11), 1367\u20131378. https:\/\/doi.org\/10.1016\/j.apal.2010.04.007.","journal-title":"Annals of Pure and Applied Logic"},{"issue":"1","key":"2226_CR19","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/BF01053026","volume":"53","author":"R Kashima","year":"1994","unstructured":"Kashima, R. (1994). Cut-free sequent calculi for some tense logics. Studia Logica, 53(1), 119\u2013136. https:\/\/doi.org\/10.1007\/BF01053026.","journal-title":"Studia Logica"},{"key":"2226_CR20","unstructured":"Krauss, P. (1992). A constructive interpretation of classical mathematics, Mathematische Schriften Kassel, preprint No. 5\/92."},{"key":"2226_CR21","doi-asserted-by":"crossref","unstructured":"Lellmann, B. (2015). Linear nested sequents, 2-sequents and hypersequents. In TABLEAUX 2015, LNAI, Vol .9323, Springer, pp. 135\u2013150.","DOI":"10.1007\/978-3-319-24312-2_10"},{"issue":"9","key":"2226_CR22","doi-asserted-by":"publisher","first-page":"679","DOI":"10.1016\/j.apal.2011.01.012","volume":"162","author":"C Liang","year":"2011","unstructured":"Liang, C., & Miller, D. (2011). A focused approach to combining logics. Annals of Pure and Applied Logic, 162(9), 679\u2013697. https:\/\/doi.org\/10.1016\/j.apal.2011.01.012.","journal-title":"Annals of Pure and Applied Logic"},{"key":"2226_CR23","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1017\/S0027763000018055","volume":"7","author":"S Maehara","year":"1954","unstructured":"Maehara, S. (1954). Eine darstellung der intuitionistischen logik in der klassischen. Nagoya Mathematical Journal, 7, 45\u201364.","journal-title":"Nagoya Mathematical Journal"},{"key":"2226_CR24","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0168-0072(91)90068-W","volume":"51","author":"D Miller","year":"1991","unstructured":"Miller, D., Nadathur, G., Pfenning, F., & Scedrov, A. (1991). Uniform proofs as a foundation for logic programming. Annals of Pure and Applied Logic, 51, 125\u2013157.","journal-title":"Annals of Pure and Applied Logic"},{"key":"2226_CR25","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511527340","volume-title":"Structural proof theory","author":"S Negri","year":"2001","unstructured":"Negri, S., & von Plato, J. (2001). Structural proof theory. Cambridge: Cambridge University Press."},{"issue":"3\u20133","key":"2226_CR26","doi-asserted-by":"publisher","first-page":"1153","DOI":"10.17990\/RPF\/2017_73_3_1153","volume":"73","author":"LC Pereira","year":"2017","unstructured":"Pereira, L. C., & Rodriguez, R. O. (2017). Normalization, soundness and completeness for the propositional fragment of Prawitz\u2019 ecumenical system. Revista Portuguesa de Filosofia, 73(3\u20133), 1153\u20131168.","journal-title":"Revista Portuguesa de Filosofia"},{"key":"2226_CR27","doi-asserted-by":"crossref","unstructured":"Pimentel, E. (2018). A semantical view of proof systems. In 25th International workshop on logic, language, information, and computation, WoLLIC 2018, Bogota, Colombia, July 24\u201327, pp. 61\u201376.","DOI":"10.1007\/978-3-662-57669-4_3"},{"key":"2226_CR28","doi-asserted-by":"crossref","unstructured":"Poggiolesi, F. (2009). The method of tree-hypersequents for modal propositional logic. In Towards mathematical philosophy, trends in logic, Vol.\u00a028, Springer, pp. 31\u201351.","DOI":"10.1007\/978-1-4020-9084-4_3"},{"key":"2226_CR29","unstructured":"Prawitz, D. (1965). Natural deduction, In Stockholm studies in philosophy, Vol. 3, Almqvist and Wiksell."},{"key":"2226_CR30","first-page":"15","volume":"27","author":"D Prawitz","year":"2015","unstructured":"Prawitz, D. (2015). Classical versus intuitionistic logic. Why is this a proof? Festschrift for Luiz Carlos Pereira, 27, 15\u201332.","journal-title":"Festschrift for Luiz Carlos Pereira"},{"key":"2226_CR31","volume-title":"Basic proof theory","author":"AS Troelstra","year":"1996","unstructured":"Troelstra, A. S., & Schwichtenberg, H. (1996). Basic proof theory. Cambridge: Cambridge University Press."},{"key":"2226_CR32","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3208-5","volume-title":"Labelled non-classical logics","author":"L Vigan\u00f2","year":"2000","unstructured":"Vigan\u00f2, L. (2000). Labelled non-classical logics. Dordrecht: Kluwer."},{"issue":"5","key":"2226_CR33","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1002\/malq.200310047","volume":"49","author":"J von Plato","year":"2003","unstructured":"von Plato, J. (2003). Translations from natural deduction to sequent calculus. Mathematical Logic Quarterly, 49(5), 435\u2013443. https:\/\/doi.org\/10.1002\/malq.200310047.","journal-title":"Mathematical Logic Quarterly"},{"key":"2226_CR34","doi-asserted-by":"publisher","first-page":"240","DOI":"10.2178\/bsl\/1208442829","volume":"14","author":"J von Plato","year":"2008","unstructured":"von Plato, J. (2008). Gentzen\u2019s proof of normalization for intuitionistic natural deduction. Bulletin of Symbolic Logic, 14, 240\u2013244.","journal-title":"Bulletin of Symbolic Logic"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-019-02226-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11229-019-02226-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-019-02226-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,17]],"date-time":"2024-07-17T16:25:29Z","timestamp":1721233529000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11229-019-02226-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,5,3]]},"references-count":34,"journal-issue":{"issue":"S22","published-print":{"date-parts":[[2021,10]]}},"alternative-id":["2226"],"URL":"https:\/\/doi.org\/10.1007\/s11229-019-02226-5","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,5,3]]},"assertion":[{"value":"26 August 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 April 2019","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 May 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}