{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T09:38:34Z","timestamp":1776850714039,"version":"3.51.2"},"reference-count":60,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2024,12,31]],"date-time":"2024-12-31T00:00:00Z","timestamp":1735603200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2024,12,31]],"date-time":"2024-12-31T00:00:00Z","timestamp":1735603200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"crossref","award":["EP\/S013008\/1"],"award-info":[{"award-number":["EP\/S013008\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"crossref","award":["EP\/R006865\/1"],"award-info":[{"award-number":["EP\/R006865\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"crossref","award":["EP\/S013008\/1"],"award-info":[{"award-number":["EP\/S013008\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"crossref","award":["EP\/R006865\/1"],"award-info":[{"award-number":["EP\/R006865\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"crossref","award":["EP\/S013008\/1"],"award-info":[{"award-number":["EP\/S013008\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"crossref","award":["EP\/R006865\/1"],"award-info":[{"award-number":["EP\/R006865\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2026,4]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>Proof-theoretic semantics (P-tS) is an innovative approach to grounding logical meaning in terms of proofs rather than traditional truth-conditional semantics. The point is not that one provides a proof system, but rather that one articulates meaning in terms of proofs and provability. To elucidate this paradigm shift, we commence with an introduction that contrasts the fundamental tenets of P-tS with the more prevalent model-theoretic approach to semantics. The contribution of this paper is a P-tS for a substructural logic, intuitionistic multiplicative linear logic (IMLL). Specifically, we meticulously examine and refine the established P-tS for intuitionistic propositional logic. Subsequently, we present two novel and comprehensive forms of P-tS for IMLL. Notably, the semantics for IMLL in this paper embodies its resource interpretation through its number-of-uses reading (restricted to atoms). This stands in contrast to the conventional model-theoretic semantics of the logic, underscoring the value that P-tS brings to substructural logics.<\/jats:p>","DOI":"10.1007\/s11225-024-10158-6","type":"journal-article","created":{"date-parts":[[2024,12,31]],"date-time":"2024-12-31T06:56:51Z","timestamp":1735628211000},"page":"451-511","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic"],"prefix":"10.1007","volume":"114","author":[{"given":"Alexander V.","family":"Gheorghiu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5749-0758","authenticated-orcid":false,"given":"Tao","family":"Gu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David J.","family":"Pym","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,12,31]]},"reference":[{"key":"10158_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(93)90181-R","volume":"111","author":"S Abramsky","year":"1993","unstructured":"Abramsky, S., Computational interpretations of linear logic, Theoretical Computer Science 111: 3\u201357, 1993.","journal-title":"Theoretical Computer Science"},{"key":"10158_CR2","doi-asserted-by":"publisher","first-page":"514","DOI":"10.2307\/2275217","volume":"58","author":"G Allwein","year":"1993","unstructured":"Allwein, G., and J.\u00a0M. Dunn, Kripke models for linear logic, The Journal of Symbolic Logic 58: 514\u2013545, 1993.","journal-title":"The Journal of Symbolic Logic"},{"key":"10158_CR3","first-page":"327","volume":"17","author":"EW Beth","year":"1955","unstructured":"Beth, E.\u00a0W., Semantic construction of intuitionistic logic, Indagationes Mathematicae 17: 327\u2013338, 1955.","journal-title":"Indagationes Mathematicae"},{"key":"10158_CR4","unstructured":"Bierman, G.\u00a0M., On Intuitionistic Linear Logic, Ph.D. thesis, University of Cambridge, 1994. Available as Computer Laboratory Technical Report 346."},{"key":"10158_CR5","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1007\/BFb0014046","volume-title":"Typed Lambda Calculi and Applications","author":"GM Bierman","year":"1995","unstructured":"Bierman, G.M., What is a Categorical Model of Intuitionistic Linear Logic?, in M. Dezani-Ciancaglini, and G. Plotkin, (eds.), Typed Lambda Calculi and Applications, Springer, 1995, pp. 78\u201393."},{"key":"10158_CR6","doi-asserted-by":"crossref","unstructured":"Brandom, R., Articulating Reasons: An Introduction to Inferentialism, Harvard University Press, 2000.","DOI":"10.4159\/9780674028739"},{"key":"10158_CR7","unstructured":"Buzoku, Y., A Proof-theoretic Semantics for Intuitionistic Linear Logic. Accessed September 2024."},{"key":"10158_CR8","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1016\/j.jal.2013.07.005","volume":"12","author":"D Coumans","year":"2014","unstructured":"Coumans, D., M. Gehrke, and L. van Rooijen, Relational semantics for full linear logic, Journal of Applied Logic 12: 50\u201366, 2014.","journal-title":"Journal of Applied Logic"},{"key":"10158_CR9","unstructured":"Day, B., On Closed Categories of Functors, in S. MacLane, H. Applegate, M. Barr, B. Day, E. Dubuc, Phreilambud, A. Pultr, R. Street, M. Tierney, and S. Swierczkowski, (eds.), Reports of the Midwest Category Seminar IV, vol. 137 of Lecture Notes in Mathematics, Springer, 1970, pp. 1\u201338."},{"key":"10158_CR10","first-page":"1","volume-title":"Substructural Logics","author":"K Do\u0161en","year":"1993","unstructured":"Do\u0161en, K., A Historical Introduction to Substructural Logics, in P.J. Schroeder-Heister, and K. Do\u0161en, (eds.), Substructural Logics, Oxford University Press, 1993, pp. 1\u201330."},{"key":"10158_CR11","doi-asserted-by":"crossref","unstructured":"Fong, B., and D.\u00a0I. Spivak, An Invitation to Applied Category Theory: Seven Sketches in Compositionality, Cambridge University Press, 2019.","DOI":"10.1017\/9781108668804"},{"key":"10158_CR12","unstructured":"Francez, N., Proof-theoretic Semantics, College Publications, 2015."},{"key":"10158_CR13","volume-title":"and D","author":"AV Gheorghiu","year":"2024","unstructured":"Gheorghiu, A.\u00a0V., T. Gu, and D.\u00a0J. Pym, Inferentialist Resource Semantics, Springer, 2024."},{"key":"10158_CR14","doi-asserted-by":"crossref","unstructured":"Gheorghiu, A. V., T. Gu, and D. J. Pym, Proof-Theoretic Semantics for Intuitionistic Multiplicative Linear Logic, in R. Ramanayake, and J. Urban, (eds.), Automated Reasoning with Analytic Tableaux and Related Methods\u2014TABLEAUX, vol. 14278 of Lecture Notes in Computer Science, Springer, 2023, pp. 367\u2013385.","DOI":"10.1007\/978-3-031-43513-3_20"},{"key":"10158_CR15","unstructured":"Gheorghiu, A.\u00a0V., T. Gu, and D. J. Pym, Proof-theoretic Semantics for the Logic of Bunched Implications. arXiv:2311.16719, 2023. Accessed February 2024."},{"key":"10158_CR16","unstructured":"Gheorghiu, A.\u00a0V., D.\u00a0J. Pym, From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic. arXiv:2210.05344, 2022. Submitted."},{"key":"10158_CR17","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1007\/s11225-022-10028-z","volume":"111","author":"A Gheorghiu","year":"2023","unstructured":"Gheorghiu, A., and D. Pym, Semantical analysis of the logic of bunched implications, Studia Logica 111: 525\u2014571, 2023.","journal-title":"Studia Logica"},{"key":"10158_CR18","doi-asserted-by":"crossref","unstructured":"Girard, J.-Y., Linear Logic: its Syntax and Semantics, in J.-Y. Girard, Y. Lafont, and L. Regnier, (eds.), Advances in Linear Logic, vol. 222 of London Mathematical Society Lecture Note Series, Cambridge University Press, 1995, pp. 1\u201342.","DOI":"10.1017\/CBO9780511629150.002"},{"key":"10158_CR19","doi-asserted-by":"crossref","unstructured":"Goldfarb, W., On Dummett\u2019s \u201cProof-theoretic Justifications of Logical Laws\u201d, in T. Piecha, and P. Schroeder-Heister, (eds.), Advances in Proof-theoretic Semantics, vol. 43 of Trends in Logic, Springer, 2016, pp. 195\u2013210.","DOI":"10.1007\/978-3-319-22686-6_13"},{"key":"10158_CR20","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/S0304-3975(06)80007-1","volume":"87","author":"L Halln\u00e4s","year":"1991","unstructured":"Halln\u00e4s, L., Partial inductive definitions, Theoretical Computer Science 87: 115\u2013142, 1991.","journal-title":"Theoretical Computer Science"},{"key":"10158_CR21","doi-asserted-by":"publisher","first-page":"589","DOI":"10.1007\/s11229-004-6291-6","volume":"148","author":"L Halln\u00e4s","year":"2006","unstructured":"Halln\u00e4s, L., On the proof-theoretic foundation of general definition theory, Synthese 148: 589\u2013602, 2006.","journal-title":"Synthese"},{"key":"10158_CR22","unstructured":"Hoare, C. A.\u00a0R., Communicating Sequential Processes, Prentice-Hall International, 1985."},{"key":"10158_CR23","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1006\/inco.1994.1036","volume":"110","author":"JS Hodas","year":"1994","unstructured":"Hodas, J.\u00a0S., and D. Miller, Logic programming in a fragment of intuitionistic linear logic, Information and computation 110: 327\u2013365, 1994.","journal-title":"Information and computation"},{"key":"10158_CR24","unstructured":"Jaakko\u00a0Kuorikoski, S.\u00a0R., Making It Count: An Inferentialist Account of Computer Simulation. https:\/\/osf.io\/preprints\/socarxiv\/v9bmr, 2022. Accessed January 2023."},{"key":"10158_CR25","unstructured":"Jacobs, B., Categorical Logic and Type Theory, Elsevier, 1999."},{"key":"10158_CR26","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/j.aim.2016.11.014","volume":"307","author":"T Johnson-Freyd","year":"2017","unstructured":"Johnson-Freyd, T., and C. Scheimbauer, (Op)lax natural transformations, twisted quantum field theories, and \u201ceven higher\u201d Morita categories, Advances in Mathematics 307: 147\u2013223, 2017.","journal-title":"Advances in Mathematics"},{"key":"10158_CR27","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1016\/S0049-237X(08)71685-9","volume":"40","author":"SA Kripke","year":"1965","unstructured":"Kripke, S.\u00a0A., Semantical analysis of intuitionistic logic I, Studies in Logic and the Foundations of Mathematics 40: 92\u2013130, 1965.","journal-title":"Studies in Logic and the Foundations of Mathematics"},{"key":"10158_CR28","unstructured":"Lafont, Y., Introduction to linear logic. Lecture notes from TEMPUS Summer School on Algebraic and Categorical Methods in Computer Science, Brno, Czech Republic, 1993."},{"key":"10158_CR29","unstructured":"Lambek, J., and P.\u00a0J. Scott, Introduction to Higher-order Categorical Logic, vol. 7 of Cambridge Studies in Advanced Mathematics, Cambridge University Press, 1988."},{"key":"10158_CR30","doi-asserted-by":"crossref","unstructured":"Lawvere, F.\u00a0W., Functorial semantics of algebraic theories, Proceedings of the National Academy of Sciences 50: 869\u2013872, 1963. https:\/\/www.pnas.org\/doi\/abs\/10.1073\/pnas.50.5.869.","DOI":"10.1073\/pnas.50.5.869"},{"key":"10158_CR31","doi-asserted-by":"crossref","unstructured":"Loregian, F., (Co)end Calculus, vol. 468 of London Mathematical Society Lecture Note Series, Cambridge University Press, 2021.","DOI":"10.1017\/9781108778657"},{"key":"10158_CR32","unstructured":"Mac\u00a0Lane, S., and I. Moerdijk, Sheaves in Geometry and Logic: a First Introduction to Topos Theory, Springer, 1992."},{"key":"10158_CR33","doi-asserted-by":"crossref","unstructured":"MacLane, S., Categories for the Working Mathematician, vol. 5 of Graduate Texts in Mathematics, Springer-Verlag, 1971.","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"10158_CR34","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1093\/jigpal\/jzt038","volume":"22","author":"D Makinson","year":"2014","unstructured":"Makinson, D., On an inferential semantics for classical logic, Logic Journal of IGPL 22: 147\u2013154, 2014.","journal-title":"Logic Journal of IGPL"},{"key":"10158_CR35","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/0743-1066(89)90031-9","volume":"6","author":"D Miller","year":"1989","unstructured":"Miller, D., A logical analysis of modules in logic programming, The Journal of Logic Programming 6: 79\u2013108, 1989.","journal-title":"The Journal of Logic Programming"},{"key":"10158_CR36","doi-asserted-by":"publisher","first-page":"215","DOI":"10.2307\/421090","volume":"5","author":"PW O\u2019Hearn","year":"1999","unstructured":"O\u2019Hearn, P.\u00a0W., and D.\u00a0J. Pym, The logic of bunched implications, Bulletin of Symbolic Logic 5: 215\u2013244, 1999.","journal-title":"Bulletin of Symbolic Logic"},{"key":"10158_CR37","doi-asserted-by":"crossref","unstructured":"Piecha, T., and P. Schroeder-Heister, Atomic Systems in Proof-Theoretic Semantics: Two Approaches, in J. Redmond, O.P. Martins, and A.N. Fern\u00e1ndez, (eds.), Epistemology, Knowledge and the Impact of Interaction, vol. 38 of Logic, Epistemology, and the Unity of Science, Springer Verlag, 2016, pp. 47\u201362.","DOI":"10.1007\/978-3-319-26506-3_2"},{"key":"10158_CR38","first-page":"185","volume-title":"The Logica Yearbook 2016","author":"T Piecha","year":"2017","unstructured":"Piecha, T., and P. Schroeder-Heister, The Definitional View of Atomic Systems in Prooftheoretic Semantics, in P. Arazim, and T. L\u00e1vi\u010dka, (eds.), The Logica Yearbook 2016, College Publications London, 2017, pp. 185\u2013200."},{"key":"10158_CR39","doi-asserted-by":"crossref","unstructured":"Piecha, T., Completeness in Proof-theoretic Semantics, in T. Piecha, and P. Schroeder-Heister, (eds.), Advances in Proof-theoretic Semantics, vol. 43 of Trends in Logic, Springer, 2016, pp. 231\u2013251.","DOI":"10.1007\/978-3-319-22686-6_15"},{"key":"10158_CR40","doi-asserted-by":"crossref","unstructured":"Piecha, T., W., de\u00a0Campos\u00a0Sanz, and P. Schroeder-Heister, Failure of completeness in proof-theoretic semantics, Journal of Philosophical Logic 44: 321\u2013335, 2015.","DOI":"10.1007\/s10992-014-9322-x"},{"key":"10158_CR41","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/s11225-018-9823-7","volume":"107","author":"T Piecha","year":"2019","unstructured":"Piecha, T., and P. Schroeder-Heister, Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics, Studia Logica 107: 233\u2013246, 2019.","journal-title":"Studia Logica"},{"key":"10158_CR42","unstructured":"Prawitz, D., Natural Deduction: A Proof-Theoretical Study, Dover Publications, 1965."},{"key":"10158_CR43","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-024-10101-9","author":"D Pym","year":"2024","unstructured":"Pym, D., E. Ritter, and E. Robinson, Categorical proof-theoretic semantics, Studia Logica, 2024. https:\/\/doi.org\/10.1007\/s11225-024-10101-9.","journal-title":"Studia Logica"},{"key":"10158_CR44","unstructured":"Pym, D. J., E. Ritter, and E. Robinson, Proof-theoretic Semantics in Sheaves (Extended Abstract), in \u00c5. Hirvonen, and F. Vel\u00e1zquez-Quesada, (eds.), Proceedings of the Eleventh Scandinavian Logic Symposium\u2014SLSS 11, Scandinvavian Logic Society, 2022."},{"key":"10158_CR45","unstructured":"Sandqvist, T., An Inferentialist Interpretation of Classical Logic, Ph.D. thesis, Uppsala University, 2005."},{"key":"10158_CR46","doi-asserted-by":"crossref","unstructured":"Sandqvist, T., Hypothesis-discharging Rules in Atomic Bases, in H. Wansing, (ed.), Dag Prawitz on Proofs and Meaning, vol. 7 of Outstanding Contributions to Logic, Springer, 2015, pp. 313\u2013328.","DOI":"10.1007\/978-3-319-11041-7_14"},{"key":"10158_CR47","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1093\/analys\/anp003","volume":"69","author":"T Sandqvist","year":"2009","unstructured":"Sandqvist, T., Classical logic without bivalence, Analysis 69: 211\u2013218, 2009.","journal-title":"Analysis"},{"key":"10158_CR48","doi-asserted-by":"publisher","first-page":"719","DOI":"10.1093\/jigpal\/jzv021","volume":"23","author":"T Sandqvist","year":"2015","unstructured":"Sandqvist, T., Base-extension semantics for intuitionistic sentential logic, Logic Journal of the IGPL 23: 719\u2013731, 2015.","journal-title":"Logic Journal of the IGPL"},{"key":"10158_CR49","volume-title":"The Stanford Encyclopedia of Philosophy, Spring","author":"P Schroeder-Heister","year":"2018","unstructured":"Schroeder-Heister, P., Proof-Theoretic Semantics, in E.N. Zalta, (ed.), The Stanford Encyclopedia of Philosophy, Spring 2018 edn, Metaphysics Research Lab, Stanford University, 2018.","edition":"2018"},{"key":"10158_CR50","first-page":"187","volume-title":"The Logica Yearbook 2007","author":"P Schroeder-Heister","year":"2008","unstructured":"Schroeder-Heister, P., Proof-Theoretic versus Model-Theoretic Consequence, in M. Peli\u0161, (ed.), The Logica Yearbook 2007, Filosofia, Prague, 2008, pp. 187\u2013200."},{"key":"10158_CR51","doi-asserted-by":"crossref","unstructured":"Schroeder-Heister, P., Rules of Definitional Reflection, in Proceedings of the Eighth Annual IEEE Symposium on Logic in Computer Science (LICS 1993), IEEE Computer Society Press, Montreal, Canada, 1993, pp. 222\u2013232.","DOI":"10.1109\/LICS.1993.287585"},{"key":"10158_CR52","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1007\/s11229-004-6296-1","volume":"148","author":"P Schroeder-Heister","year":"2006","unstructured":"Schroeder-Heister, P., Validity concepts in proof-theoretic semantics, Synthese 148: 525\u2013571, 2006.","journal-title":"Synthese"},{"key":"10158_CR53","series-title":"Contemporary Mathematics","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1090\/conm\/092\/1003210","volume-title":"Categories in Computer Science and Logic","author":"RAG Seely","year":"1989","unstructured":"Seely, R.A.G., Linear Logic, $$\\ast $$Autonomous Categories and Cofree Coalgebras, in J.W. Gray, and A. Scedrov, (eds.), Categories in Computer Science and Logic, vol. 92 of Contemporary Mathematics, American Mathematical Society, Providence, RI, 1989, pp. 371\u2013382."},{"key":"10158_CR54","doi-asserted-by":"crossref","unstructured":"Stafford, W., Proof-theoretic semantics and inquisitive logic, Journal of Philosophical Logic, 2021.","DOI":"10.1007\/s10992-021-09596-7"},{"key":"10158_CR55","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1093\/analys\/anac100","volume":"83","author":"W Stafford","year":"2023","unstructured":"Stafford, W., and V. Nascimento, Following all the rules: intuitionistic completeness for generalized proof-theoretic validity, Analysis 83: 507\u2013516, 2023.","journal-title":"Analysis"},{"key":"10158_CR56","unstructured":"Szabo, M.\u00a0E. (ed.), The Collected Papers of Gerhard Gentzen, North-Holland Publishing Company, 1969."},{"key":"10158_CR57","unstructured":"Tarski, A., O poj\u0229ciu wynikania logicznego, Przegla\u0327d Filozoficzny 39:58\u201368, 1936."},{"key":"10158_CR58","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1080\/0144534021000036683","volume":"23","author":"A Tarski","year":"2002","unstructured":"Tarski, A., On the concept of following logically, History and Philosophy of Logic 23: 155\u2013196, 2002.","journal-title":"History and Philosophy of Logic"},{"key":"10158_CR59","volume-title":"and H","author":"AS Troelstra","year":"2000","unstructured":"Troelstra, A.\u00a0S., and H. Schwichtenberg, Basic Proof Theory, Cambridge University Press, 2000."},{"key":"10158_CR60","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1023\/A:1005217827758","volume":"64","author":"H Wansing","year":"2000","unstructured":"Wansing, H., The idea of a proof-theoretic semantics and the meaning of the logical operations, Studia Logica 64: 3\u201320, 2000.","journal-title":"Studia Logica"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-024-10158-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-024-10158-6","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-024-10158-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T08:39:37Z","timestamp":1776847177000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-024-10158-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,12,31]]},"references-count":60,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2026,4]]}},"alternative-id":["10158"],"URL":"https:\/\/doi.org\/10.1007\/s11225-024-10158-6","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,12,31]]},"assertion":[{"value":"22 April 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"31 December 2024","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}