{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,3]],"date-time":"2025-12-03T18:09:15Z","timestamp":1764785355770,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031514050"},{"type":"electronic","value":"9783031514067"}],"license":[{"start":{"date-parts":[[2023,12,13]],"date-time":"2023-12-13T00:00:00Z","timestamp":1702425600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,12,13]],"date-time":"2023-12-13T00:00:00Z","timestamp":1702425600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-51406-7_7","type":"book-chapter","created":{"date-parts":[[2024,4,1]],"date-time":"2024-04-01T20:18:53Z","timestamp":1712002733000},"page":"139-169","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["On an Ecumenical Natural Deduction with Stoup. Part I: The Propositional Case"],"prefix":"10.1007","author":[{"given":"Luiz Carlos","family":"Pereira","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elaine","family":"Pimentel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,12,13]]},"reference":[{"issue":"3","key":"7_CR1","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1093\/logcom\/2.3.297","volume":"2","author":"J-M Andreol","year":"1992","unstructured":"Andreol, J.-M. (1992). Logic programming with focusing proofs in linear logic. Journal of Logic and Computation, 2(3), 297\u2013347.","journal-title":"Journal of Logic and Computation"},{"key":"7_CR2","unstructured":"Blanqui, F., Dowek, G., Grienenberger, \u00c9., Hondet, G., & Thir\u00e9, F. (2021). Some axioms for mathematics. In N. Kobayashi (Ed.). 6th international conference on formal structures for computation and deduction, FSCD 2021, July 17\u201324, 2021, Buenos Aires, Argentina (Virtual Conference). LIPIcs (Vol. 195 pp. 20:1\u201320:19). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik."},{"key":"7_CR3","unstructured":"D\u2019Agostino, M. (2005). Classical natural deduction. In S. N. Art\u00ebmov, H. Barringer, A. S. d\u2019Avila Garcez, L. C. Lamb, & J. Woods (Eds.), We will show them! Essays in honour of Dov Gabbay (Vol. 1, pp. 429\u2013468), College Publications."},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"D\u00edaz-Caro, A., & Dowek, G. (2021). A new connective in natural deduction, and its application to quantum computing. In A. Cerone, & P. C. \u00d6lveczky (Eds.) Theoretical aspects of computing - ICTAC 2021\u201318th international colloquium, virtual event, Nur-Sultan, Kazakhstan, September 8\u201310, 2021, Proceedings. Lecture Notes in Computer Science (Vol. 12819, pp. 175\u2013193). Springer.","DOI":"10.1007\/978-3-030-85315-0_11"},{"key":"7_CR5","volume-title":"The collected papers of Gerhard Gentzen","author":"G Gentzen","year":"1969","unstructured":"Gentzen, G. (1969). The collected papers of Gerhard Gentzen. North-Holland Pub. Co."},{"key":"7_CR6","unstructured":"Gabbay, M., & Gabbay, M. (2005). Some formal considerations on Gabbay\u2019s restart rule in natural deduction and goal-directed reasoning. In S. N. Art\u00ebmov, H. Barringer, A. S. d\u2019Avila Garcez, L. C. Lamb, & J. Woods (Eds.), We will show them! Essays in honour of Dov Gabbay (Vol. 1, pp. 701\u2013730). College Publications."},{"issue":"3","key":"7_CR7","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1017\/S0960129500001328","volume":"1","author":"J-Y Girard","year":"1991","unstructured":"Girard, J.-Y. (1991). A new constructive logic: Classical logic. Mathematical Structures in Computer Science, 1(3), 255\u2013296.","journal-title":"Mathematical Structures in Computer Science"},{"issue":"9","key":"7_CR8","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.","journal-title":"Annals of Pure and Applied Logic"},{"key":"7_CR9","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1007\/s10670-018-0032-6","volume":"85","author":"J Murzi","year":"2020","unstructured":"Murzi, J. (2020). Classical harmony and separability. Erkenntnis, 85, 391\u2013415.","journal-title":"Erkenntnis"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Parigot, M. (1992). $$\\lambda \\mu $$-calculus: An algorithmic interpretation of classical natural deduction. Logic Programming and Automated Reasoning (pp. 190\u2013201). Springer.","DOI":"10.1007\/BFb0013061"},{"issue":"3\u20133","key":"7_CR11","doi-asserted-by":"publisher","first-page":"1153","DOI":"10.17990\/RPF\/2017_73_3_1153","volume":"73","author":"L C 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":"7_CR12","doi-asserted-by":"crossref","unstructured":"Pimentel, E., Pereira, L. C., & de Paiva, V.: An ecumenical notion of entailment. Synthese, 198(22-S), 5391\u20135413.","DOI":"10.1007\/s11229-019-02226-5"},{"issue":"4","key":"7_CR13","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1007\/BF02123405","volume":"35","author":"G Pottinger","year":"1976","unstructured":"Pottinger, G. (1976). A new way of normalizing intuitionist propositional logic. Studia Logica, 35(4), 387\u2013408.","journal-title":"Studia Logica"},{"key":"7_CR14","unstructured":"Prawitz, D. (1965). Natural deduction. Stockholm Studies in Philosophy (Vol. 3). Almqvist and Wiksell."},{"key":"7_CR15","volume-title":"Why is this a proof? Festschrift for Luiz Carlos Pereira (Vol. 27, pp. 15\u201332)","author":"D Prawitz","year":"2015","unstructured":"Prawitz, D. (2015). Classical versus intuitionistic logic. In B. Lopes, E. H. Haeusler, & W. de Campos Sanz (Eds.), Why is this a proof? Festschrift for Luiz Carlos Pereira (Vol. 27, pp. 15\u201332). College Publications."},{"key":"7_CR16","volume-title":"Speech acts and the quest for a natural account of classical proof","author":"G Restall","year":"2021","unstructured":"Restall, G. (2021). Speech acts and the quest for a natural account of classical proof. Available at https:\/\/consequently.org\/writing\/."},{"issue":"6","key":"7_CR17","doi-asserted-by":"publisher","first-page":"1185","DOI":"10.1007\/s11225-014-9562-3","volume":"102","author":"P Schroeder-Heister","year":"2014","unstructured":"Schroeder-Heister, P. (2014). The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony. Studia Logica, 102(6), 1185\u20131216.","journal-title":"Studia Logica"}],"container-title":["Synthese Library","Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-51406-7_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,1]],"date-time":"2024-04-01T20:20:34Z","timestamp":1712002834000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-51406-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,12,13]]},"ISBN":["9783031514050","9783031514067"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-51406-7_7","relation":{},"ISSN":["0166-6991","2542-8292"],"issn-type":[{"type":"print","value":"0166-6991"},{"type":"electronic","value":"2542-8292"}],"subject":[],"published":{"date-parts":[[2023,12,13]]},"assertion":[{"value":"13 December 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}