{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,6]],"date-time":"2026-06-06T05:19:17Z","timestamp":1780723157880,"version":"3.54.1"},"reference-count":77,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2025,1,9]],"date-time":"2025-01-09T00:00:00Z","timestamp":1736380800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2025,1,9]],"date-time":"2025-01-09T00:00:00Z","timestamp":1736380800000},"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":"publisher","award":["EP\/R006865\/1"],"award-info":[{"award-number":["EP\/R006865\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/R006865\/1"],"award-info":[{"award-number":["EP\/R006865\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/S013008\/1"],"award-info":[{"award-number":["EP\/S013008\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2026,6]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>\n                    Proof-theoretic semantics (P-tS) is the approach to meaning in logic based on\n                    <jats:italic>proof<\/jats:italic>\n                    (as opposed to truth). There are two major approaches to P-tS: proof-theoretic validity (P-tV) and base-extension semantics (B-eS). The former is a semantics of arguments, and the latter is a semantics of logical constants. This paper demonstrates that the B-eS for\n                    <jats:italic>intuitionistic propositional logic<\/jats:italic>\n                    (IPL) encapsulates the declarative content of a version of P-tV based on the elimination rules. This explicates how the B-eS for IPL works, and shows the completeness of this version of P-tV.\n                  <\/jats:p>","DOI":"10.1007\/s11225-024-10163-9","type":"journal-article","created":{"date-parts":[[2025,1,9]],"date-time":"2025-01-09T09:37:29Z","timestamp":1736415449000},"page":"581-613","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["From Proof-Theoretic Validity to Base-Extension Semantics for Intuitionistic Propositional Logic"],"prefix":"10.1007","volume":"114","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7144-6910","authenticated-orcid":false,"given":"Alexander V.","family":"Gheorghiu","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"David J.","family":"Pym","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,1,9]]},"reference":[{"key":"10163_CR1","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1017\/S0956796800020025","volume":"1","author":"H Barendregt","year":"1991","unstructured":"Barendregt, H., Introduction to Generalized Type Systems, Journal of Functional Programming, 1:125\u2013154, 1991.","journal-title":"Journal of Functional Programming"},{"key":"10163_CR2","doi-asserted-by":"crossref","unstructured":"Barendregt, H., W. Dekkers, and R. Statman, Lambda Calculus with Types, Perspectives in Logic, Cambridge University Press, 2013.","DOI":"10.1017\/CBO9781139032636"},{"key":"10163_CR3","first-page":"117","volume-title":"Lambda calculi with types","author":"HP Barendregt","year":"1993","unstructured":"Barendregt, H.P., Lambda calculi with types, Oxford University Press, Inc., 1993, pp. 117\u2013309."},{"key":"10163_CR4","doi-asserted-by":"publisher","first-page":"761","DOI":"10.1093\/mind\/fzv026","volume":"124","author":"F Berto","year":"2015","unstructured":"Berto, F., A modality called \u2018Negation\u2019, Mind, 124:761\u2013793, 2015.","journal-title":"Mind"},{"key":"10163_CR5","doi-asserted-by":"crossref","unstructured":"Brandom, R., Articulating Reasons: An Introduction to Inferentialism, Harvard University Press, 2000.","DOI":"10.4159\/9780674028739"},{"key":"10163_CR6","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1090\/S0002-9904-1913-02440-6","volume":"20","author":"LEJ Brouwer","year":"1913","unstructured":"Brouwer, L.E.J., Intuitionism and formalism, Bulletin of the American Mathematical Society, 20:81\u201396, 1913.","journal-title":"Bulletin of the American Mathematical Society"},{"key":"10163_CR7","unstructured":"Cartmell, J., Generalised Algebraic Theories and Contextual Categories, PhD thesis, Oxford University, 1978."},{"key":"10163_CR8","unstructured":"der Molen, T.V., The Johansson\/Heyting Letters and the Birth of Minimal Logic. https:\/\/eprints.illc.uva.nl\/id\/eprint\/696\/1\/X-2016-04.text.pdf, 2016. Accessed May 2024."},{"key":"10163_CR9","unstructured":"Dummett, M., The justification of deduction, in M. Dummett, (ed.), Truth and Other Enigmas, Duckworth & Co, 1978."},{"key":"10163_CR10","unstructured":"Dummett, M., The Logical Basis of Metaphysics, Harvard University Press, 1991."},{"key":"10163_CR11","doi-asserted-by":"crossref","unstructured":"Dummett, M., Elements of Intuitionism, vol. 39 of Oxford Logic Guides, 2000.","DOI":"10.1093\/oso\/9780198505242.001.0001"},{"key":"10163_CR12","doi-asserted-by":"crossref","unstructured":"Eckhardt, T., and and D.J. Pym, Proof-theoretic semantics for modal logics, Logic Journal of the IGPL, 2024. Accepted.","DOI":"10.1093\/jigpal\/jzae004"},{"key":"10163_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10992-005-9001-z","volume":"35","author":"F Ferreira","year":"2006","unstructured":"Ferreira, F., Comments on predicative logic, Journal of Philosophical Logic, 35:1\u20138, 2006.","journal-title":"Journal of Philosophical Logic"},{"key":"10163_CR14","doi-asserted-by":"publisher","first-page":"260","DOI":"10.2178\/jsl.7801180","volume":"78","author":"F Ferreira","year":"2013","unstructured":"Ferreira, F., and G. Ferreira, Atomic Polymorphism, The Journal of Symbolic Logic, 78:260\u2013274, 2013.","journal-title":"The Journal of Symbolic Logic"},{"key":"10163_CR15","unstructured":"Ferreira, F., and G. Ferreira, The faithfulness of atomic polymorphism, Trends in Logic XIII, 2014."},{"key":"10163_CR16","unstructured":"Francez, N., Proof-theoretic semantics, vol. 573 of Studies in Logic, College Publications London, 2015."},{"key":"10163_CR17","doi-asserted-by":"crossref","unstructured":"Fukuda, Y., and R. Igarashi, A Reconstruction of Ex Falso Quodlibet via Quasi-Multiple-Conclusion Natural Deduction, in A. Baltag, J. Seligman, and T. Yamada, (eds.), Logic, Rationality, and Interaction, Springer, 2017, pp. 554\u2013569.","DOI":"10.1007\/978-3-662-55665-8_38"},{"key":"10163_CR18","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 \u2014 TABLEAUX, Springer, 2023, pp. 367\u2013385.","DOI":"10.1007\/978-3-031-43513-3_20"},{"key":"10163_CR19","unstructured":"Gheorghiu, A.V., T. Gu, and D.J. Pym, Proof-theoretic semantics for the logic of bunched implications, arXiv:2311.16719, 2023. Accessed February 2024."},{"key":"10163_CR20","doi-asserted-by":"crossref","unstructured":"Gheorghiu, A.V., and D.J. Pym, Definite formulae, negation-as-failure, and the base-extension semantics for intuitionistic propositional logic, Bulletin of the Section of Logic, 2023.","DOI":"10.18778\/0138-0680.2023.16"},{"key":"10163_CR21","doi-asserted-by":"crossref","unstructured":"Gheorghiu, A.V., and D.J. Pym, Defining logical systems via algebraic constraints on proofs, Journal of Logic and Computation, 2023.","DOI":"10.1093\/logcom\/exad065"},{"key":"10163_CR22","doi-asserted-by":"crossref","unstructured":"Goldfarb, W., On Dummett\u2019s \u201cProof-theoretic justifications of logical laws\u201d, in Advances in Proof-Theoretic Semantics, Springer, 2016, pp. 195\u2013210.","DOI":"10.1007\/978-3-319-22686-6_13"},{"key":"10163_CR23","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":"10163_CR24","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1093\/logcom\/1.2.261","volume":"1","author":"L Halln\u00e4s","year":"1990","unstructured":"Halln\u00e4s, L., and P. Schroeder-Heister, A proof-theoretic approach to logic programming: I. Clauses as rules, Journal of Logic and Computation, 1:261\u2013283, 1990.","journal-title":"Journal of Logic and Computation"},{"key":"10163_CR25","doi-asserted-by":"publisher","first-page":"635","DOI":"10.1093\/logcom\/1.5.635","volume":"1","author":"L Halln\u00e4s","year":"1991","unstructured":"Halln\u00e4s, L., and P. Schroeder-Heister, A proof-theoretic approach to logic programming: II. Programs as definitions , Journal of Logic and Computation, 1:635\u2013660, 1991.","journal-title":"Journal of Logic and Computation"},{"key":"10163_CR26","doi-asserted-by":"crossref","unstructured":"Harrop, R., Concerning formulas of the types $$A \\rightarrow B \\vee C$$, $$A\\rightarrow (Ex) B (x)$$ in intuitionistic formal systems , The Journal of Symbolic Logic, 25:27\u201332, 1960.","DOI":"10.2307\/2964334"},{"key":"10163_CR27","unstructured":"Heyting, A., Intuitionism: An Introduction, Cambridge University Press, 1989."},{"key":"10163_CR28","doi-asserted-by":"crossref","unstructured":"Hofmann, M., Syntax and semantics of dependent types, Semantics and Logics of Computation, 79\u2013130, 1997.","DOI":"10.1017\/CBO9780511526619.004"},{"key":"10163_CR29","unstructured":"Howard, W.A., The formulae-as-types notion of construction, in H. Curry, H.B., Seldin, J. Roger, and P. Jonathan, (eds.), To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, Academic Press, 1980, pp. 479\u2013490."},{"key":"10163_CR30","unstructured":"Jacobs, B., Categorical Type Theory, PhD thesis, The University of Nijmegen, 1991."},{"key":"10163_CR31","doi-asserted-by":"crossref","unstructured":"Kolmogorov, A., Zur deutung der intuitionistischen logik, Mathematische Zeitschift, 35, 1932.","DOI":"10.1007\/BF01186549"},{"key":"10163_CR32","doi-asserted-by":"crossref","unstructured":"K\u00fcrbis, N., Proof and Falsity: A Logical Investigation, Cambridge University Press, 2019.","DOI":"10.1017\/9781108686792"},{"key":"10163_CR33","unstructured":"Lambek, J., From $$\\lambda $$-calculus to Cartesian closed categories, in H. Curry, H.B., Seldin, J. Roger, and P. Jonathan, (eds.), To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, Academic Press, 1980, pp. 375\u2013402."},{"key":"10163_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":"10163_CR35","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/S0049-237X(08)71945-1","volume":"80","author":"P Martin-L\u00f6f","year":"1975","unstructured":"Martin-L\u00f6f, P., An intuitionistic theory of types: predicative part, Studies in Logic and the Foundations of Mathematics, 80:73\u2013118, 1975.","journal-title":"Studies in Logic and the Foundations of Mathematics"},{"key":"10163_CR36","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":"10163_CR37","unstructured":"Nascimento, V., Foundational Studies in Proof-theoretic Semantics, PhD thesis, Universidade do Estado do Rio de Janeiro, 2023."},{"key":"10163_CR38","doi-asserted-by":"crossref","unstructured":"Parigot, M., $$\\lambda \\mu $$-Calculus: an algorithmic interpretation of classical natural deduction, in A. Voronkov, (ed.), Logic Programming and Automated Reasoning, Springer, 1992, pp. 190\u2013201.","DOI":"10.1007\/BFb0013061"},{"key":"10163_CR39","unstructured":"Pavlovi\u0107, D., Predicates and Fibrations, PhD thesis, University of Utrecht, 1990."},{"key":"10163_CR40","doi-asserted-by":"crossref","unstructured":"Pereira, L.C., E.H. Haeusler, and V. Nascimento, Disjunctive syllogism without ex falso, in T. Piecha and K.F. Wehmeier, (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics, Springer, 2024, pp. 193\u2013209.","DOI":"10.1007\/978-3-031-50981-0_6"},{"key":"10163_CR41","doi-asserted-by":"crossref","unstructured":"Piecha, T., Completeness in proof-theoretic semantics, in Advances in Proof-theoretic Semantics, Springer, 2016, pp. 231\u2013251.","DOI":"10.1007\/978-3-319-22686-6_15"},{"key":"10163_CR42","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":"10163_CR43","unstructured":"Piecha, T., and P. Schroeder-Heister, The definitional view of atomic systems in proof-theoretic semantics, in The Logica Yearbook 2016, College Publications London, 2017, pp. 185\u2013200."},{"key":"10163_CR44","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":"10163_CR45","first-page":"349","volume":"19","author":"WA Pogorzelski","year":"1971","unstructured":"Pogorzelski, W.A., Structural completeness of the propositional calculus, Bulletin de l\u2019Acad\u00e9mie Polonaise des Sciences, 19:349\u2013351, 1971.","journal-title":"Bulletin de l\u2019Acad\u00e9mie Polonaise des Sciences"},{"key":"10163_CR46","doi-asserted-by":"crossref","unstructured":"Prawitz, D., Ideas and results in proof theory, in Studies in Logic and the Foundations of Mathematics, vol. 63, Elsevier, 1971, pp. 235\u2013307.","DOI":"10.1016\/S0049-237X(08)70849-8"},{"key":"10163_CR47","unstructured":"Prawitz, D., The Philosophical Position of Proof Theory, in R.E. Olson and A.M. Paul, (eds.) Contemporary Philosophy in Scandinavia, John Hopkins Press, 1972, pp. 123\u2013134."},{"key":"10163_CR48","doi-asserted-by":"crossref","unstructured":"Prawitz, D., Towards a foundation of a general proof theory, in Studies in Logic and the Foundations of Mathematics, vol. 74, Elsevier, 1973, pp. 225\u2013250.","DOI":"10.1016\/S0049-237X(09)70361-1"},{"key":"10163_CR49","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/BF00660889","volume":"27","author":"D Prawitz","year":"1974","unstructured":"Prawitz, D., On the idea of a general proof theory, Synthese, 27:63\u201377, 1974.","journal-title":"Synthese"},{"key":"10163_CR50","unstructured":"Prawitz, D., Natural Deduction: A Proof-theoretical Study, Dover Publications, 2006 [1965]."},{"key":"10163_CR51","unstructured":"Prawitz, D., Logical consequence from a constructivist view, in The Oxford Handbook of Philosophy of Mathematics and Logic, Oxford University Press, 2007."},{"key":"10163_CR52","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1016\/S0022-4049(00)00161-4","volume":"159","author":"D Pym","year":"2001","unstructured":"Pym, D., and E. Ritter, On the semantics of classical disjunction, Journal of Pure and Applied Algebra, 159:315\u2013338, 2001.","journal-title":"Journal of Pure and Applied Algebra"},{"key":"10163_CR53","doi-asserted-by":"crossref","unstructured":"Pym, D.J., and E. Ritter, Reductive Logic and Proof-search: Proof Theory, Semantics, and Control, Oxford University Press, 2004.","DOI":"10.1093\/acprof:oso\/9780198526339.001.0001"},{"key":"10163_CR54","unstructured":"Pym, D.J., E. Ritter, and E. Robinson, Proof-theoretic Semantics in Sheaves (Extended Abstract), in Proceedings of the Eleventh Scandinavian Logic Symposium \u2014 SLSS 11, 2022."},{"key":"10163_CR55","doi-asserted-by":"crossref","unstructured":"Pym, D.J., E. Ritter, and E. Robinson, Categorical proof-theoretic semantics, Studia Logica, 1\u201338, 2024.","DOI":"10.1007\/s11225-024-10101-9"},{"key":"10163_CR56","doi-asserted-by":"crossref","unstructured":"Reiter, R., On closed world data bases, in Readings in Artificial Intelligence, Elsevier, 1981, pp. 119\u2013140.","DOI":"10.1016\/B978-0-934613-03-3.50014-3"},{"key":"10163_CR57","unstructured":"Ryo, T., Investigation of Prawitz\u2019s completeness conjecture in phase semantic framework, Journal of Humanities and Sciences, 23, 2017."},{"key":"10163_CR58","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":"10163_CR59","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":"10163_CR60","doi-asserted-by":"crossref","unstructured":"Sandqvist, T., Hypothesis-discharging Rules in Atomic Bases, in Dag Prawitz on Proofs and Meaning, Springer, 2015, pp. 313\u2013328.","DOI":"10.1007\/978-3-319-11041-7_14"},{"key":"10163_CR61","unstructured":"Sandqvist, T., Atomic bases and the validity of Peirce\u2019s law. https:\/\/sites.google.com\/view\/wdl-ucl2022\/schedule#h.ttn75i73elfw, 2022. World Logic Day \u2014 University College London. Accessed June 2023."},{"key":"10163_CR62","doi-asserted-by":"publisher","first-page":"1284","DOI":"10.2307\/2274279","volume":"49","author":"P Schroeder-Heister","year":"1984","unstructured":"Schroeder-Heister, P., A natural extension of natural deduction, The Journal of Symbolic Logic, 49:1284\u20131300, 1984.","journal-title":"The Journal of Symbolic Logic"},{"key":"10163_CR63","doi-asserted-by":"crossref","unstructured":"Schroeder-Heister, P., Rules of Definitional Reflection, in Logic in Computer Science \u2014 LICS, IEEE, 1993, pp. 222\u2013232.","DOI":"10.1109\/LICS.1993.287585"},{"key":"10163_CR64","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":"10163_CR65","unstructured":"Schroeder-Heister, P., Proof-theoretic versus model-theoretic consequence, in M. Pelis, (ed.) The Logica Yearbook 2007, Filosofia, 2008."},{"key":"10163_CR66","doi-asserted-by":"publisher","first-page":"925","DOI":"10.1007\/s11229-011-9910-z","volume":"187","author":"P Schroeder-Heister","year":"2012","unstructured":"Schroeder-Heister, P., The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics, Synthese, 187:925\u2013942, 2012.","journal-title":"Synthese"},{"key":"10163_CR67","unstructured":"Schroeder-Heister, P., Proof-theoretic validity based on elimination rules, in Why is this a Proof? Festschrift for Luiz Carlos Pereira, College Publications, 2015."},{"key":"10163_CR68","unstructured":"Schroeder-Heister, P., Proof-theoretic semantics, in E.N. Zalta, (ed.), The Stanford Encyclopedia of Philosophy, Metaphysics Research Lab, Stanford University, Spring 2018\u00a0ed., 2018."},{"key":"10163_CR69","doi-asserted-by":"crossref","unstructured":"Schroeder-Heister, P., and T. Piecha, Atomic systems in proof-theoretic semantics: two approaches, in J. Redmond, O. Pombo Martins, and \u00c1 Nepomuceno Fern\u00e1ndez, (eds) Epistemology, Knowledge and the Impact of Interaction, vol. 38 of Logic, Epistemology, and the Unity of Science, Springer, Cham, 2016, pp. 47\u201362.","DOI":"10.1007\/978-3-319-26506-3_2"},{"key":"10163_CR70","doi-asserted-by":"publisher","first-page":"505","DOI":"10.1002\/malq.19830291005","volume":"29","author":"RA Seely","year":"1983","unstructured":"Seely, R.A., Hyperdoctrines, natural deduction and the beck condition, Mathematical Logic Quarterly, 29:505\u2013542, 1983.","journal-title":"Mathematical Logic Quarterly"},{"key":"10163_CR71","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":"10163_CR72","doi-asserted-by":"crossref","unstructured":"Stafford, W., and V. Nascimento, Following all the rules: intuitionistic completeness for generalized proof-theoretic validity, Analysis, 2023.","DOI":"10.1093\/analys\/anac100"},{"key":"10163_CR73","unstructured":"Streicher, T., Correctness and Completeness of a Categorical Semantics of the Calculus of Constructions, PhD thesis, University of Passau, 1988."},{"key":"10163_CR74","unstructured":"Szabo, M.E. (ed.), The Collected Papers of Gerhard Gentzen, North-Holland Publishing Company, 1969."},{"key":"10163_CR75","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1093\/aristotelian\/79.1.167","volume":"79","author":"N Tennant","year":"1978","unstructured":"Tennant, N., Entailment and proofs, Proceedings of the Aristotelian Society, 79:167\u2013189, 1978.","journal-title":"Proceedings of the Aristotelian Society"},{"key":"10163_CR76","doi-asserted-by":"crossref","unstructured":"Tennant, N., Core Logic, Oxford University Press, 2017.","DOI":"10.1093\/oso\/9780198777892.001.0001"},{"key":"10163_CR77","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-10163-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-024-10163-9","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-024-10163-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,4]],"date-time":"2026-06-04T07:53:54Z","timestamp":1780559634000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-024-10163-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,1,9]]},"references-count":77,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2026,6]]}},"alternative-id":["10163"],"URL":"https:\/\/doi.org\/10.1007\/s11225-024-10163-9","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,1,9]]},"assertion":[{"value":"17 October 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"9 January 2025","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"This work has been partially supported by the UK EPSRC grants EP\/S013008\/1 and EP\/R006865\/1, and by Gheorghiu\u2019s EPSRC Doctoral Studentship.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declaration"}}]}}