{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T17:47:41Z","timestamp":1775929661756,"version":"3.50.1"},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"S20","license":[{"start":{"date-parts":[[2019,4,29]],"date-time":"2019-04-29T00:00:00Z","timestamp":1556496000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,4,29]],"date-time":"2019-04-29T00:00:00Z","timestamp":1556496000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2021,8]]},"DOI":"10.1007\/s11229-019-02217-6","type":"journal-article","created":{"date-parts":[[2019,4,29]],"date-time":"2019-04-29T05:03:07Z","timestamp":1556514187000},"page":"4879-4903","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Proof-theoretic pluralism"],"prefix":"10.1007","volume":"198","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6770-8124","authenticated-orcid":false,"given":"Filippo","family":"Ferrari","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4021-8667","authenticated-orcid":false,"given":"Eugenio","family":"Orlandelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,4,29]]},"reference":[{"issue":"6","key":"2217_CR1","doi-asserted-by":"publisher","first-page":"587","DOI":"10.1007\/s10992-005-9008-5","volume":"35","author":"J Beall","year":"2006","unstructured":"Beall, J., et al. (2006). Relevant restricted quantification. Journal of Philosophical Logic, 35(6), 587\u2013598.","journal-title":"Journal of Philosophical Logic"},{"key":"2217_CR2","volume-title":"Logical pluralism","author":"J Beall","year":"2006","unstructured":"Beall, J., & Restall, G. (2006). Logical pluralism. Oxford: Oxford University Press."},{"issue":"6","key":"2217_CR3","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1093\/analys\/22.6.130","volume":"22","author":"ND Belnap","year":"1962","unstructured":"Belnap, N. D. (1962). Tonk, plonk and plink. Analysis, 22(6), 130\u2013134.","journal-title":"Analysis"},{"issue":"470","key":"2217_CR4","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1093\/mind\/fzp033","volume":"118","author":"O Bueno","year":"2009","unstructured":"Bueno, O., & Shalkowski, S. (2009). Modalism and logical pluralism. Mind, 118(470), 295\u2013321.","journal-title":"Mind"},{"key":"2217_CR5","volume-title":"The logical syntax of the world","author":"R Carnap","year":"1937","unstructured":"Carnap, R. (1937). The logical syntax of the world. New York: Routledge & Kegan Paul Ltd."},{"issue":"499","key":"2217_CR6","doi-asserted-by":"publisher","first-page":"727","DOI":"10.1093\/mind\/fzv214","volume":"125","author":"B Dicher","year":"2016","unstructured":"Dicher, B. (2016a). A proof-theoretic defence of meaning-invariant logical pluralism. Mind, 125(499), 727\u2013757.","journal-title":"Mind"},{"issue":"3","key":"2217_CR7","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1017\/S1755020316000162","volume":"9","author":"B Dicher","year":"2016","unstructured":"Dicher, B. (2016b). Weak disharmony: Some lessons for proof-theoretic semantics. The Review of Symbolic Logic, 9(3), 583\u2013602.","journal-title":"The Review of Symbolic Logic"},{"key":"2217_CR8","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/BF00671566","volume":"47","author":"K Dos\u0306en","year":"1988","unstructured":"Dos\u0306en, K. (1988). Sequent-systems and grupoids models. Studia Logica, 47, 353\u2013386.","journal-title":"Studia Logica"},{"key":"2217_CR9","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/BF00370633","volume":"48","author":"K Dos\u0306en","year":"1989","unstructured":"Dos\u0306en, K. (1989a). Sequent-systems and grupoids models. Studia Logica, 48, 41\u201365.","journal-title":"Studia Logica"},{"issue":"3","key":"2217_CR10","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1305\/ndjfl\/1093635154","volume":"30","author":"K Dos\u0306en","year":"1989","unstructured":"Dos\u0306en, K. (1989b). Logical constants as punctuation marks. Notre Dame Journal of Formal Logic, 30(3), 362\u2013381.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"2217_CR11","volume-title":"Frege: Philosophy of language","author":"M Dummett","year":"1973","unstructured":"Dummett, M. (1973). Frege: Philosophy of language. Harvard: Harvard University Press."},{"key":"2217_CR12","volume-title":"The logical basis of metaphysics","author":"M Dummett","year":"1991","unstructured":"Dummett, M. (1991). The logical basis of metaphysics. London: Duckworth."},{"key":"2217_CR13","first-page":"1","volume-title":"Handbook of philosophical logic","author":"JM Dunn","year":"2002","unstructured":"Dunn, J. M., & Restall, G. (2002). Relevance logic. In D. M. Gabbay & F. Guenthner (Eds.), Handbook of philosophical logic (2nd ed., Vol. 6, pp. 1\u2013128). Dordrecht: Kluwer.","edition":"2"},{"key":"2217_CR14","doi-asserted-by":"publisher","unstructured":"Ferrari, F., & Moruzzi, S. (2017). Logical pluralism, indeterminacy and the normativity of logic. Inquiry. https:\/\/doi.org\/10.1080\/0020174X.2017.1393198.","DOI":"10.1080\/0020174X.2017.1393198"},{"key":"2217_CR15","doi-asserted-by":"crossref","unstructured":"Gentzen, G. (1934\u20131935). Untersuchungen $$\\ddot{\\rm u}$$ber das logische schliessen. Mathematische Zeitschrift, 39, 176\u2013210 and 405\u2013431.","DOI":"10.1007\/BF01201363"},{"key":"2217_CR16","first-page":"157","volume-title":"Logica Yearbook 2016","author":"N Gratzl","year":"2017","unstructured":"Gratzl, N., & Orlandelli, E. (2017). Double-line harmony in a sequent setting. In P. Arazim & T. L\u00e1vicka (Eds.), Logica Yearbook 2016 (pp. 157\u2013171). London: College Publications."},{"issue":"1","key":"2217_CR17","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/s11225-017-9778-0","volume":"107","author":"N Gratzl","year":"2019","unstructured":"Gratzl, N., & Orlandelli, E. (2019). Logicality, double-line rules, and modalities. Studia Logica, 107(1), 85\u2013107.","journal-title":"Studia Logica"},{"key":"2217_CR18","volume-title":"Deviant logic","author":"S Haack","year":"1974","unstructured":"Haack, S. (1974). Deviant logic. London: Cambridge University Press."},{"issue":"2","key":"2217_CR19","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1080\/00048402.2011.648945","volume":"91","author":"OT Hjortland","year":"2013","unstructured":"Hjortland, O. T. (2013). Logical pluralism, meaning-variance, and verbal disputes. Australasian Journal of Philosophy, 91(2), 355\u2013373.","journal-title":"Australasian Journal of Philosophy"},{"key":"2217_CR20","doi-asserted-by":"publisher","first-page":"1243","DOI":"10.1007\/s10670-015-9792-4","volume":"81","author":"T Kouri","year":"2016","unstructured":"Kouri, T. (2016). Restall\u2019s proof-theoretic pluralism and relevance logic. Erkenntnis, 81, 1243\u20131252.","journal-title":"Erkenntnis"},{"key":"2217_CR21","unstructured":"MacFarlane, J. (2000). What does it mean to say that logic is formal?. Ph.D. thesis, University of Pittsburgh."},{"key":"2217_CR22","unstructured":"MacFarlane, J. (2004). In what sense (if any) is logic normative for thought? Unpublished manuscript, http:\/\/johnmacfarlane.net\/normativity_of_logic.pdf. Accessed 1 May 2018."},{"issue":"2","key":"2217_CR23","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1080\/01445340701830334","volume":"29","author":"E Moriconi","year":"2008","unstructured":"Moriconi, E., & Tesconi, L. (2008). On inversion principles. History and Philosophy of Logic, 29(2), 103\u2013113.","journal-title":"History and Philosophy of Logic"},{"key":"2217_CR24","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1111\/theo.12051","volume":"81","author":"A Naibo","year":"2015","unstructured":"Naibo, A., & Petrolo, M. (2015). Are uniqueness and deducibility of identicals the same? Theoria, 81, 143\u2013181.","journal-title":"Theoria"},{"key":"2217_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":"5","key":"2217_CR26","doi-asserted-by":"publisher","first-page":"531","DOI":"10.1023\/A:1025648722188","volume":"32","author":"F Paoli","year":"2003","unstructured":"Paoli, F. (2003). Quine and Slater on paraconsistency and deviance. Journal of Philosophical Logic, 32(5), 531\u2013548.","journal-title":"Journal of Philosophical Logic"},{"issue":"1","key":"2217_CR27","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/s001530050170","volume":"40","author":"J von Plato","year":"2001","unstructured":"von Plato, J. (2001). A proof of Gentzen\u2019s Hauptsatz without multicut. Archive for Mathematical Logic, 40(1), 9\u201318.","journal-title":"Archive for Mathematical Logic"},{"issue":"2","key":"2217_CR28","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1093\/analys\/21.2.38","volume":"21","author":"AN Prior","year":"1960","unstructured":"Prior, A. N. (1960). The runabout inference ticket. Analysis, 21(2), 38\u201339.","journal-title":"Analysis"},{"key":"2217_CR29","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1023\/A:1004787622057","volume":"29","author":"S Read","year":"2000","unstructured":"Read, S. (2000). Harmony and autonomy in classical logic. Journal of Philosophical Logic, 29, 123\u2013154.","journal-title":"Journal of Philosophical Logic"},{"key":"2217_CR30","unstructured":"Restall, G. (2005). Multiple conclusions. In 12th International congress on logic, methodology and philosophy of science (pp. 189\u2013205). London: KCL Publications."},{"key":"2217_CR31","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/s10670-013-9477-9","volume":"79","author":"G Restall","year":"2014","unstructured":"Restall, G. (2014). Pluralism and proofs. Erkenntnis, 79, 279\u2013291.","journal-title":"Erkenntnis"},{"issue":"13","key":"2217_CR32","first-page":"299","volume":"2","author":"D Ripley","year":"2015","unstructured":"Ripley, D. (2015). Comparing substructural theories of truth. Ergo, 2(13), 299\u2013328.","journal-title":"Ergo"},{"key":"2217_CR33","first-page":"257","volume-title":"Logica Yearbook 2016","author":"L Shapiro","year":"2017","unstructured":"Shapiro, L. (2017). LP, K3, and FDE as substructural logics. In P. Arazim & T. L\u00e1vicka (Eds.), Logica Yearbook 2016 (pp. 257\u2013272). London: College Publications."},{"key":"2217_CR34","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199696529.001.0001","volume-title":"Varieties of logic","author":"S Shapiro","year":"2014","unstructured":"Shapiro, S. (2014). Varieties of logic. Oxford: Oxford University Press."},{"issue":"201","key":"2217_CR35","first-page":"49","volume":"51","author":"F Steinberger","year":"2008","unstructured":"Steinberger, F. (2008). Tennant on multiple conclusions. Logique et Analyse, 51(201), 49\u201355.","journal-title":"Logique et Analyse"},{"key":"2217_CR36","doi-asserted-by":"publisher","first-page":"617","DOI":"10.1080\/00048402.2010.528781","volume":"89","author":"F Steinberger","year":"2011","unstructured":"Steinberger, F. (2011a). What harmony could and could not be. Australasian Journal of Philosophy, 89, 617\u2013639.","journal-title":"Australasian Journal of Philosophy"},{"key":"2217_CR37","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/s10992-010-9153-3","volume":"40","author":"F Steinberger","year":"2011","unstructured":"Steinberger, F. (2011b). Why conclusions should remain single. Journal of Philosophycal Logic, 40, 333\u2013355.","journal-title":"Journal of Philosophycal Logic"},{"key":"2217_CR38","unstructured":"Steinberger, F. (2017). The normative status of logic. In The Stanford Encyclopedia of Philosophy (Spring 2017 Edition), https:\/\/plato.stanford.edu\/archives\/spr2017\/entries\/logic-normative\/. Accessed 1 May 2018."},{"key":"2217_CR39","volume-title":"Logic, semantics, metamathematics","author":"A Tarski","year":"1956","unstructured":"Tarski, A. (1956). Logic, semantics, metamathematics. Oxford: Clarendon Press."},{"key":"2217_CR40","volume-title":"The taming of the true","author":"N Tennant","year":"1997","unstructured":"Tennant, N. (1997). The taming of the true. Oxford: Oxford University Press."},{"issue":"3","key":"2217_CR41","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1305\/ndjfl\/1039886520","volume":"37","author":"I Urbas","year":"1996","unstructured":"Urbas, I. (1996). Dual-intuitionistic logic. Notre Dame Journal of Formal Logic, 37(3), 440\u2013451.","journal-title":"Notre Dame Journal of Formal Logic"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-019-02217-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11229-019-02217-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-019-02217-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,30]],"date-time":"2021-08-30T12:30:26Z","timestamp":1630326626000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11229-019-02217-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,4,29]]},"references-count":41,"journal-issue":{"issue":"S20","published-print":{"date-parts":[[2021,8]]}},"alternative-id":["2217"],"URL":"https:\/\/doi.org\/10.1007\/s11229-019-02217-6","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,4,29]]},"assertion":[{"value":"11 June 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 April 2019","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"29 April 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}