{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,5]],"date-time":"2025-05-05T13:10:05Z","timestamp":1746450605084,"version":"3.40.4"},"reference-count":6,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2024,2,16]],"date-time":"2024-02-16T00:00:00Z","timestamp":1708041600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,2,16]],"date-time":"2024-02-16T00:00:00Z","timestamp":1708041600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100001807","name":"Funda\u00e7\u00e3o de Amparo \u00e1 Pesquisa do Estado de S\u00e3o Paulo","doi-asserted-by":"publisher","award":["21\/01025-3"],"award-info":[{"award-number":["21\/01025-3"]}],"id":[{"id":"10.13039\/501100001807","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003593","name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico","doi-asserted-by":"publisher","award":["306530\/2019-8"],"award-info":[{"award-number":["306530\/2019-8"]}],"id":[{"id":"10.13039\/501100003593","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]]},"DOI":"10.1007\/s11225-023-10091-0","type":"journal-article","created":{"date-parts":[[2024,2,16]],"date-time":"2024-02-16T09:03:25Z","timestamp":1708074205000},"page":"539-566","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Ecumenical Propositional Tableau"],"prefix":"10.1007","volume":"113","author":[{"given":"Renato","family":"Leme","sequence":"first","affiliation":[]},{"given":"Marcelo","family":"Coniglio","sequence":"additional","affiliation":[]},{"given":"Bruno","family":"Lopes","sequence":"additional","affiliation":[]},{"given":"Giorgio","family":"Venturi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,2,16]]},"reference":[{"key":"10091_CR1","doi-asserted-by":"crossref","unstructured":"Marin, S., L.C. Pereira, E. Pimentel, and E. Sales, A Pure View of Ecumenical Modalities, in A Silva, R. Wassermann, R. de Queiroz, (eds.), Logic, Language, Information, and Computation: 27th International Workshop, WoLLIC 2021, Virtual Event, October 5\u20138, 2021, Proceedings, Springer, 2021, pp. 388\u2013407.","DOI":"10.1007\/978-3-030-88853-4_24"},{"key":"10091_CR2","doi-asserted-by":"crossref","unstructured":"Pereira, L.C., and E. Pimentel, On an ecumenical natural deduction with stoup\u2013part i: the propositional case, arXiv\u00a0preprint arXiv:2204.02199, 2022.","DOI":"10.1007\/978-3-031-51406-7_7"},{"issue":"3","key":"10091_CR3","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., and R.O. Rodriguez, Normalization, soundness and completeness for the propositional fragment of prawitz cecumenical system, Revista Portuguesa de Filosofia 73(3):1153\u20131168, 2017.","journal-title":"Revista Portuguesa de Filosofia"},{"issue":"22","key":"10091_CR4","doi-asserted-by":"publisher","first-page":"5391","DOI":"10.1007\/s11229-019-02226-5","volume":"198","author":"E Pimentel","year":"2021","unstructured":"Pimentel, E., L.C. Pereira, and V. de\u00a0Paiva, An ecumenical notion of entailment, Synthese 198(22):5391\u20135413, 2021.","journal-title":"Synthese"},{"key":"10091_CR5","unstructured":"Prawitz, D., Classical versus intuitionistic logic. in E.H. Haeusler, W. de Campos Sanz, and B. Lopes, (eds.), Why is this a Proof, College Publications, 2015, pp. 15\u201332."},{"key":"10091_CR6","doi-asserted-by":"publisher","unstructured":"Priest, G., An Introduction to Non-Classical Logic: From If to Is, 2nd edn, Cambridge University Press, 2008; https:\/\/doi.org\/10.1017\/CBO9780511801174.","DOI":"10.1017\/CBO9780511801174"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-023-10091-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-023-10091-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-023-10091-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,5]],"date-time":"2025-05-05T12:41:22Z","timestamp":1746448882000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-023-10091-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,2,16]]},"references-count":6,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2025,4]]}},"alternative-id":["10091"],"URL":"https:\/\/doi.org\/10.1007\/s11225-023-10091-0","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2024,2,16]]},"assertion":[{"value":"16 February 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}