{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,12]],"date-time":"2026-09-12T08:58:02Z","timestamp":1789203482939,"version":"build-2803163510"},"reference-count":77,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2018,12,14]],"date-time":"2018-12-14T00:00:00Z","timestamp":1544745600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2018,12,14]],"date-time":"2018-12-14T00:00:00Z","timestamp":1544745600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100009873","name":"Regione autonoma Sardegna","doi-asserted-by":"crossref","award":["L.R. 7\/2007"],"award-info":[{"award-number":["L.R. 7\/2007"]}],"id":[{"id":"10.13039\/501100009873","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100001871","name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","doi-asserted-by":"publisher","award":["SFRH\/BPD\/116125\/2016"],"award-info":[{"award-number":["SFRH\/BPD\/116125\/2016"]}],"id":[{"id":"10.13039\/501100001871","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100007359","name":"Fondazione Banco di Sardegna","doi-asserted-by":"publisher","award":["F72F16003220002"],"award-info":[{"award-number":["F72F16003220002"]}],"id":[{"id":"10.13039\/100007359","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2021,1]]},"DOI":"10.1007\/s11229-018-02048-x","type":"journal-article","created":{"date-parts":[[2018,12,14]],"date-time":"2018-12-14T16:51:57Z","timestamp":1544806317000},"page":"615-640","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":21,"title":["The original sin of proof-theoretic semantics"],"prefix":"10.1007","volume":"198","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2587-0649","authenticated-orcid":false,"given":"Bogdan","family":"Dicher","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Francesco","family":"Paoli","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2018,12,14]]},"reference":[{"key":"2048_CR1","volume-title":"Entailment: The logic of relevance and necessity","author":"AR Anderson","year":"1975","unstructured":"Anderson, A. R., & Belnap, N. D. (1975). Entailment: The logic of relevance and necessity (Vol. 1). Princeton: Princeton University Press."},{"key":"2048_CR2","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1305\/ndjfl\/1099238445","volume":"45","author":"H Aoyama","year":"2004","unstructured":"Aoyama, H. (2004). LK, LJ, dual intuitionistic logic, and quantum logic. Notre Dame Journal of Formal Logic, 45, 193\u2013213.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"2048_CR3","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/0304-3975(88)90037-0","volume":"57","author":"A Avron","year":"1988","unstructured":"Avron, A. (1988). The semantics and proof theory of linear logic. Theoretical Computer Science, 57, 161\u2013184.","journal-title":"Theoretical Computer Science"},{"key":"2048_CR4","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/0890-5401(91)90023-U","volume":"92","author":"A Avron","year":"1991","unstructured":"Avron, A. (1991). Simple consequence relations. Information and Computation, 92, 105\u2013139.","journal-title":"Information and Computation"},{"issue":"5","key":"2048_CR5","doi-asserted-by":"crossref","first-page":"551","DOI":"10.1007\/s10992-014-9342-6","volume":"44","author":"E Barrio","year":"2015","unstructured":"Barrio, E., Rosenblatt, L., & Tajer, D. (2015). The logics of strict-tolerant logic. Journal of Philosophical Logic, 44(5), 551\u2013571.","journal-title":"Journal of Philosophical Logic"},{"key":"2048_CR6","volume-title":"Logical pluralism","author":"JC Beall","year":"2006","unstructured":"Beall, J. C., & Restall, G. (2006). Logical pluralism. Oxford: Oxford University Press."},{"key":"2048_CR7","doi-asserted-by":"crossref","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, 130\u2013134.","journal-title":"Analysis"},{"key":"2048_CR8","doi-asserted-by":"crossref","DOI":"10.1201\/b17294","volume-title":"Proof theory: Sequent calculi and related formalisms","author":"K Bimbo","year":"2014","unstructured":"Bimbo, K. (2014). Proof theory: Sequent calculi and related formalisms. Boca Raton: CRC Press."},{"issue":"1\u20133","key":"2048_CR9","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/s11225-006-8299-z","volume":"83","author":"W Blok","year":"2006","unstructured":"Blok, W., & J\u00f3nsson, B. (2006). Equivalence of consequence operations. Studia Logica, 83(1\u20133), 91\u2013110.","journal-title":"Studia Logica"},{"key":"2048_CR10","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1093\/acprof:oso\/9780198715696.001.0001","volume-title":"Foundations of logical consequence","author":"C Caret","year":"2015","unstructured":"Caret, C., & Hjortland, O. (2015). Logical consequence; its nature, structure, and application. In C. Caret & O. Hjortland (Eds.), Foundations of logical consequence (pp. 3\u201330). Oxford: Oxford University Press."},{"key":"2048_CR11","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/s11245-014-9241-z","volume":"34","author":"C Caret","year":"2015","unstructured":"Caret, C., & Weber, Z. (2015). A note on contraction-free logic for validity. Topoi, 34, 63\u201374.","journal-title":"Topoi"},{"key":"2048_CR12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s11787-009-0002-5","volume":"3","author":"W Carnielli","year":"2009","unstructured":"Carnielli, W., Coniglio, M., & D\u2019Ottaviano, I. (2009). New dimensions on translations between logics. Logica Universalis, 3, 1\u201318.","journal-title":"Logica Universalis"},{"key":"2048_CR13","doi-asserted-by":"publisher","unstructured":"Cintula, P., & Paoli, F. (2016). Is multiset consequence trivial? Synthese. https:\/\/doi.org\/10.1007\/s11229-016-1209-7.","DOI":"10.1007\/s11229-016-1209-7"},{"issue":"2","key":"2048_CR14","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/s11225-008-9150-5","volume":"90","author":"RJGB de Queiroz","year":"2008","unstructured":"de Queiroz, R. J. G. B. (2008). On reduction rules, meaning-as-use, and proof-theoretic semantics. Studia Logica, 90(2), 211\u2013247.","journal-title":"Studia Logica"},{"issue":"499","key":"2048_CR15","doi-asserted-by":"crossref","first-page":"727","DOI":"10.1093\/mind\/fzv214","volume":"125","author":"B Dicher","year":"2016","unstructured":"Dicher, B. (2016). A proof-theoretic defence of meaning-invariant logical pluralism. Mind, 125(499), 727\u2013757.","journal-title":"Mind"},{"key":"2048_CR16","doi-asserted-by":"publisher","unstructured":"Dicher, B. (2018a). Hopeful monsters: a note on multiple conclusions. Erkenntnis. https:\/\/doi.org\/10.1007\/s10670-018-0019-3.","DOI":"10.1007\/s10670-018-0019-3"},{"key":"2048_CR17","doi-asserted-by":"publisher","unstructured":"Dicher, B. (2018b). Variations on intra-theoretical logical pluralism: Internal versus external consequence. Philosophical Studies. https:\/\/doi.org\/10.1007\/s11098-018-1199-z.","DOI":"10.1007\/s11098-018-1199-z"},{"key":"2048_CR18","unstructured":"Dummett, M. (1959). Truth. Proceedings of the Aristotelian Society, 59(1), 141\u201362. (Reprinted in M. Dummett, Truth and Other Enigmas, 1978, Cambridge, MA: Harvard University Press, pp. 1\u201325)."},{"key":"2048_CR19","volume-title":"Frege: Philosophy of language","author":"M Dummett","year":"1973","unstructured":"Dummett, M. (1973). Frege: Philosophy of language. London: Duckworth."},{"key":"2048_CR20","volume-title":"The logical basis of metaphysics","author":"M Dummett","year":"1991","unstructured":"Dummett, M. (1991). The logical basis of metaphysics. London: Duckworth."},{"key":"2048_CR21","first-page":"356","volume":"38","author":"JM Dunn","year":"1974","unstructured":"Dunn, J. M. (1974). A \u2018Gentzen\u2019 system for positive relevant implication. Journal of Symbolic Logic, 38, 356\u2013357.","journal-title":"Journal of Symbolic Logic"},{"key":"2048_CR22","volume-title":"Proof-theoretic semantics","author":"N Francez","year":"2015","unstructured":"Francez, N. (2015). Proof-theoretic semantics. London: College Publications."},{"key":"2048_CR23","first-page":"151","volume":"60","author":"N Francez","year":"2017","unstructured":"Francez, N. (2017). On distinguishing proof-theoretic consequence from derivability. Logique et Analyse, 60, 151\u2013166.","journal-title":"Logique et Analyse"},{"key":"2048_CR24","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1111\/j.1755-2567.2001.tb00200.x","volume":"67","author":"J Garson","year":"2001","unstructured":"Garson, J. (2001). Natural semantics: Why natural deduction is intuitionistic. Theoria, 67, 114\u2013139.","journal-title":"Theoria"},{"key":"#cr-split#-2048_CR25.1","unstructured":"Gentzen, G. (1935). Untersuchungen \u00fcber das logische schlie\u00dfen. I,II. Mathematische Zeitschrift, 39 (1): 176-210"},{"key":"#cr-split#-2048_CR25.2","unstructured":"405-431. Translated into English in M. Szabo (Ed.), The collected papers of Gerhard Gentzen. Amsterdam: North Holland (1969)."},{"key":"2048_CR26","doi-asserted-by":"crossref","first-page":"285","DOI":"10.2307\/2025471","volume":"76","author":"I Hacking","year":"1979","unstructured":"Hacking, I. (1979). What is logic? The Journal of Philosophy, 76, 285\u2013319.","journal-title":"The Journal of Philosophy"},{"key":"2048_CR27","volume-title":"Insolubles and consequences: Essays in honour of Stephen Read","author":"O Hjortland","year":"2012","unstructured":"Hjortland, O. (2012). Harmony and the context of deducibility. In C. Dutilh Novaes & O. Hjortland (Eds.), Insolubles and consequences: Essays in honour of Stephen Read. London: College Publications."},{"key":"2048_CR28","first-page":"463","volume":"57","author":"O Hjortland","year":"2014","unstructured":"Hjortland, O. (2014). Verbal disputes in logic: Against minimalism for logical connectives. Logique et Analyse, 57, 463\u2013486.","journal-title":"Logique et Analyse"},{"key":"2048_CR29","unstructured":"Humberstone, L. (2010). Sentence connectives in formal logic. In E. Zalta (Ed.), The Stanford Encyclopedia of Philosophy. Winter 2016 Edition. https:\/\/plato.stanford.edu\/archives\/win2016\/entries\/connectives-logic\/. First published 2010."},{"key":"2048_CR30","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/9055.001.0001","volume-title":"The connectives","author":"L Humberstone","year":"2011","unstructured":"Humberstone, L. (2011). The connectives. Cambridge, MA: MIT Press."},{"issue":"2","key":"2048_CR31","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1007\/s11225-016-9692-x","volume":"105","author":"B Jacinto","year":"2017","unstructured":"Jacinto, B., & Read, S. (2017). General-elimination stability. Studia Logica, 105(2), 361\u2013405.","journal-title":"Studia Logica"},{"key":"2048_CR32","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1007\/s10992-013-9268-4","volume":"43","author":"E Mares","year":"2014","unstructured":"Mares, E., & Paoli, F. (2014). Logical consequence and the paradoxes. Journal of Philosophical Logic, 43, 439\u2013469.","journal-title":"Journal of Philosophical Logic"},{"key":"2048_CR33","first-page":"209","volume-title":"Handbook of mathematical fuzzy logic","author":"G Metcalfe","year":"2011","unstructured":"Metcalfe, G. (2011). Proof theory for mathematical fuzzy logic. In P. Cintula, P. H\u00e1jek, & C. Noguera (Eds.), Handbook of mathematical fuzzy logic (Vol. 1, pp. 209\u2013282). London: College Publications."},{"key":"2048_CR34","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/BF00652071","volume":"3","author":"RK Meyer","year":"1974","unstructured":"Meyer, R. K. (1974). New axiomatics for relevant logic (I). Journal of Philosophical Logic, 3, 53\u201386.","journal-title":"Journal of Philosophical Logic"},{"issue":"4","key":"2048_CR35","doi-asserted-by":"crossref","first-page":"422","DOI":"10.1007\/BF01084083","volume":"6","author":"GE Mints","year":"1976","unstructured":"Mints, G. E. (1976). Cut-elimination theorem for relevant logics. Journal of Mathematical Sciences, 6(4), 422\u2013428.","journal-title":"Journal of Mathematical Sciences"},{"key":"2048_CR36","doi-asserted-by":"crossref","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."},{"key":"2048_CR37","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-3179-9","volume-title":"Substructural logics: A primer","author":"F Paoli","year":"2002","unstructured":"Paoli, F. (2002). Substructural logics: A primer. Berlin: Springer."},{"key":"2048_CR38","doi-asserted-by":"crossref","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, 531\u2013548.","journal-title":"Journal of Philosophical Logic"},{"key":"2048_CR39","first-page":"439","volume":"227","author":"F Paoli","year":"2014","unstructured":"Paoli, F. (2014). Semantic minimalism for the logical constants. Logique et analyse, 227, 439\u2013461.","journal-title":"Logique et analyse"},{"key":"2048_CR40","volume-title":"Natural deduction: A proof theoretical study","author":"D Prawitz","year":"1965","unstructured":"Prawitz, D. (1965). Natural deduction: A proof theoretical study. Stockholm: Almqvist and Wiksell."},{"issue":"1","key":"2048_CR41","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1111\/j.1755-2567.1977.tb00776.x","volume":"43","author":"D Prawitz","year":"1977","unstructured":"Prawitz, D. (1977). Meaning and proofs: On the conflict between classical and intuitionistic logic. Theoria, 43(1), 2\u201340.","journal-title":"Theoria"},{"issue":"2","key":"2048_CR42","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/BF00486044","volume":"62","author":"D Prawitz","year":"1985","unstructured":"Prawitz, D. (1985). Remarks on some approaches to the concept of logical consequence. Synthese, 62(2), 153\u2013171.","journal-title":"Synthese"},{"key":"2048_CR43","doi-asserted-by":"crossref","first-page":"671","DOI":"10.1093\/0195148770.003.0022","volume-title":"The Oxford handbook of philosophy of mathematics and logic","author":"D Prawitz","year":"2005","unstructured":"Prawitz, D. (2005). Logical consequence from a constructivist point of view. In S. Shapiro (Ed.), The Oxford handbook of philosophy of mathematics and logic (pp. 671\u2013695). Oxford: Oxford University Press."},{"key":"2048_CR44","unstructured":"Prawitz, D. (1971). Ideas and results in proof theory. In J. E. Fenstad (Ed.), Proceedings of the second scandinavian logic symposium (pp. 235\u2013307). Amsterdam: North Holland."},{"issue":"1","key":"2048_CR45","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/BF00258428","volume":"8","author":"G Priest","year":"1979","unstructured":"Priest, G. (1979). The logic of paradox. Journal of Philosophical Logic, 8(1), 219\u2013241.","journal-title":"Journal of Philosophical Logic"},{"key":"2048_CR46","doi-asserted-by":"crossref","DOI":"10.1093\/0199263280.001.0001","volume-title":"Doubt truth to be a liar","author":"G Priest","year":"2005","unstructured":"Priest, G. (2005). Doubt truth to be a liar. Oxford: Oxford University Press."},{"issue":"2","key":"2048_CR47","doi-asserted-by":"crossref","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":"2048_CR48","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0168-0072(98)00058-X","volume":"98","author":"A Pynko","year":"1999","unstructured":"Pynko, A. (1999). Definitional equivalence and algebraizability of generalized logical systems. Annals of Pure and Applied Logic, 98, 1\u201368.","journal-title":"Annals of Pure and Applied Logic"},{"key":"2048_CR49","first-page":"35","volume":"39","author":"A Pynko","year":"2010","unstructured":"Pynko, A. (2010). Gentzen\u2019s cut-free calculus versus the logic of paradox. Bulletin of the Section of Logic, 39, 35\u201342.","journal-title":"Bulletin of the Section of Logic"},{"key":"2048_CR50","volume-title":"Philosophy of logic","author":"WVO Quine","year":"1970","unstructured":"Quine, W. V. O. (1970). Philosophy of logic. Upper Saddle River: Prentice-Hall."},{"key":"2048_CR51","unstructured":"Read, S. (1988). Relevant logic. Oxford: Blackwell. (Available online at https:\/\/www.st-andrews.ac.uk\/~slr\/Relevant_Logic.pdf.)"},{"issue":"2","key":"2048_CR52","doi-asserted-by":"crossref","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(2), 123\u2013154.","journal-title":"Journal of Philosophical Logic"},{"key":"2048_CR53","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1007\/1-4020-4054-7_10","volume-title":"A logical approach to philosophy: Essays in memory of Graham Solomon","author":"S Read","year":"2006","unstructured":"Read, S. (2006). Monism: The one true logic. In D. de Vidi & T. Kenyon (Eds.), A logical approach to philosophy: Essays in memory of Graham Solomon (pp. 193\u2013209). Berlin: Springer."},{"key":"2048_CR54","volume-title":"An introduction to substructural logics","author":"G Restall","year":"2000","unstructured":"Restall, G. (2000). An introduction to substructural logics. London: Routledge."},{"key":"2048_CR55","unstructured":"Restall, G. (2005). Multiple conclusions. In P. H\u00e1jek, L. Vald\u00e9s-Villanueva and D. Westerst\u00e5hl (Eds.), Logic, methodology and philosophy of science: Proceedings of the twelfth international congress (pp. 189\u2013205). London: King\u2019s College Publications."},{"key":"2048_CR56","doi-asserted-by":"crossref","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"},{"key":"2048_CR57","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1080\/00048402.2011.630010","volume":"91","author":"D Ripley","year":"2013","unstructured":"Ripley, D. (2013). Paradoxes and failures of cut. Australasian Journal of Philosophy, 91, 139\u2013164.","journal-title":"Australasian Journal of Philosophy"},{"issue":"2","key":"2048_CR58","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1093\/logcom\/exx039","volume":"28","author":"D Ripley","year":"2018","unstructured":"Ripley, D. (2018). On the \u2018transitivity\u2019 of consequence relations. Journal of Logic and Computation, 28(2), 433\u2013450.","journal-title":"Journal of Logic and Computation"},{"key":"2048_CR59","unstructured":"Schroeder-Heister, P. (2018). Proof-theoretic semantics, In E. Zalta (Ed.) The Stanford Encyclopedia of Philosophy, Spring 2018 Edition. https:\/\/plato.stanford.edu\/archives\/spr2018\/entries\/proof-theoretic-semantics\/."},{"key":"2048_CR60","first-page":"1142","volume":"56","author":"P Schroeder-Heister","year":"1991","unstructured":"Schroeder-Heister, P. (1991). Uniform proof-theoretic semantics for logical constants (abstract). Journal of Symbolic Logic, 56, 1142.","journal-title":"Journal of Symbolic Logic"},{"key":"2048_CR61","doi-asserted-by":"crossref","first-page":"246","DOI":"10.2178\/bsl\/1182353872","volume":"8","author":"P Schroeder-Heister","year":"2002","unstructured":"Schroeder-Heister, P. (2002). Resolution and the origins of structural reasoning: early proof-theoretic ideas of Hertz and Gentzen. The Bulletin of Symbolic Logic, 8, 246\u2013265.","journal-title":"The Bulletin of Symbolic Logic"},{"key":"2048_CR62","first-page":"245","volume-title":"The Logica Yearbook 2008","author":"P Schroeder-Heister","year":"2009","unstructured":"Schroeder-Heister, P. (2009). Sequent calculi and bidirectional natural deduction: on the proper basis of proof-theoretic semantics. In M. Peli\u0161 (Ed.), The Logica Yearbook 2008 (pp. 245\u2013259). London: College Publications."},{"issue":"1","key":"2048_CR63","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/s11245-012-9119-x","volume":"31","author":"P Schroeder-Heister","year":"2012","unstructured":"Schroeder-Heister, P. (2012a). Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning. Topoi, 31(1), 77\u201385.","journal-title":"Topoi"},{"key":"2048_CR64","doi-asserted-by":"crossref","first-page":"925","DOI":"10.1007\/s11229-011-9910-z","volume":"187","author":"P Schroeder-Heister","year":"2012","unstructured":"Schroeder-Heister, P. (2012b). The categorical and the hypothetical: A critique of some fundamental assumptions of standard semantics. Synthese, 187, 925\u2013942.","journal-title":"Synthese"},{"issue":"21","key":"2048_CR65","doi-asserted-by":"crossref","first-page":"787","DOI":"10.2307\/2024952","volume":"68","author":"D Scott","year":"1971","unstructured":"Scott, D. (1971). On engendering an illusion of understanding. Journal of Philosophy, 68(21), 787\u2013807.","journal-title":"Journal of Philosophy"},{"key":"2048_CR66","volume-title":"Varieties of logic","author":"S Shapiro","year":"2015","unstructured":"Shapiro, S. (2015). Varieties of logic. Oxford: Oxford University Press."},{"key":"2048_CR67","volume-title":"Logic. The laws of truth","author":"NJJ Smith","year":"2012","unstructured":"Smith, N. J. J. (2012). Logic. The laws of truth. Princeton: Princeton University Press."},{"key":"2048_CR68","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1007\/s10992-010-9153-3","volume":"40","author":"F Steinberger","year":"2011","unstructured":"Steinberger, F. (2011). Why conclusions should remain single. Journal of Philosophical Logic, 40, 333\u2013355.","journal-title":"Journal of Philosophical Logic"},{"key":"2048_CR69","unstructured":"Tarski, A. (1936). On the concept of logical consequence. In Logic, semantics, metamathematics: Papers from 1923 to 1938, chapter 16, pp. 409\u2013420. Oxford: Clarendon Press, 1956. Originally published in 1936."},{"key":"2048_CR70","volume-title":"Logic, semantics, metamathematics: papers from 1923 to 1938","author":"A Tarski","year":"1956","unstructured":"Tarski, A. (1956). Logic, semantics, metamathematics: papers from 1923 to 1938. Oxford: Clarendon Press."},{"key":"2048_CR71","unstructured":"Tennant, N. (forthcoming) Inferentialism, logicism, harmony, and a counterpoint. In A. Miller (Ed.), Essays for Crispin Wright: Logic, language and mathematics. Oxford: Oxford University Press."},{"key":"2048_CR72","volume-title":"Core logic","author":"N Tennant","year":"2017","unstructured":"Tennant, N. (2017). Core logic. Oxford: Oxford University Press."},{"key":"2048_CR73","doi-asserted-by":"crossref","DOI":"10.1515\/9783110849264","volume-title":"Foundations of Frege\u2019s logic","author":"P Tich\u00fd","year":"1988","unstructured":"Tich\u00fd, P. (1988). Foundations of Frege\u2019s logic. Berlin: de Gruyter."},{"key":"2048_CR74","doi-asserted-by":"publisher","unstructured":"Tranchini, L. (2016). Proof-theoretic harmony: Towards an intensional account. Synthese. https:\/\/doi.org\/10.1007\/s11229-016-1200-3.","DOI":"10.1007\/s11229-016-1200-3"},{"key":"2048_CR75","doi-asserted-by":"crossref","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, 440\u2013451.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"2048_CR76","doi-asserted-by":"crossref","first-page":"498","DOI":"10.1017\/S1755020311000177","volume":"4","author":"E Zardini","year":"2011","unstructured":"Zardini, E. (2011). Truth without contra(di)ction. Review of Symbolic Logic, 4, 498\u2013535.","journal-title":"Review of Symbolic Logic"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-018-02048-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-018-02048-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-018-02048-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,13]],"date-time":"2024-07-13T10:30:24Z","timestamp":1720866624000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-018-02048-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,12,14]]},"references-count":77,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2021,1]]}},"alternative-id":["2048"],"URL":"https:\/\/doi.org\/10.1007\/s11229-018-02048-x","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,12,14]]},"assertion":[{"value":"16 April 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 November 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"14 December 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}