{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,26]],"date-time":"2026-02-26T15:32:13Z","timestamp":1772119933905,"version":"3.50.1"},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T00:00:00Z","timestamp":1740787200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T00:00:00Z","timestamp":1740787200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Log. Univers."],"published-print":{"date-parts":[[2025,3]]},"DOI":"10.1007\/s11787-025-00370-w","type":"journal-article","created":{"date-parts":[[2025,4,21]],"date-time":"2025-04-21T02:25:56Z","timestamp":1745202356000},"page":"23-46","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Intensionality of Consequence and Identity of Proofs in Prawitz\u2019s Theory of Grounds"],"prefix":"10.1007","volume":"19","author":[{"given":"Antonio","family":"Piccolomini d\u2019Aragona","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,4,21]]},"reference":[{"key":"370_CR1","volume-title":"Bolzano\u2019s Logic","author":"J Berg","year":"1962","unstructured":"Berg, J.: Bolzano\u2019s Logic. Almqvist & Wiskell, Stockholm (1962)"},{"key":"370_CR2","volume-title":"Wissenschaftslehre","author":"B Bolzano","year":"1837","unstructured":"Bolzano, B.: Wissenschaftslehre. Seidl, M\u00fcnchen (1837)"},{"key":"370_CR3","volume-title":"Ableitbarket und Abfolge in der Wissenschaftslehre Bolzanos","author":"G Buhl","year":"1961","unstructured":"Buhl, G.: Ableitbarket und Abfolge in der Wissenschaftslehre Bolzanos. Kantstudien, Mainz (1961)"},{"key":"370_CR4","volume-title":"The Logical Basis of Metaphysics","author":"M Dummett","year":"1993","unstructured":"Dummett, M.: The Logical Basis of Metaphysics. Harvard University Press, Cambridge (1993)"},{"key":"370_CR5","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1017\/CBO9781139149136.002","volume-title":"Metaphysical Grounding: Understanding the Structure of Reality","author":"K Fine","year":"2012","unstructured":"Fine, K.: Guide to ground. In: Correia, F., Schnieder, B. (eds.) Metaphysical Grounding: Understanding the Structure of Reality, pp. 37\u201380. Cambridge University Press, Cambridge (2012)"},{"issue":"1","key":"370_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S1755020311000086","volume":"5","author":"K Fine","year":"2012","unstructured":"Fine, K.: The pure logic of ground. Rev. Symbol. Logic 5(1), 1\u201325 (2012). https:\/\/doi.org\/10.1017\/S1755020311000086","journal-title":"Rev. Symbol. Logic"},{"key":"370_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1007\/978-3-662-43742-1_8","volume-title":"Logical Aspects of Computational Linguistics","author":"N Francez","year":"2014","unstructured":"Francez, N.: The granularity of meaning in proof-theoretic semantics. In: Asher, N., Soloviev, S. (eds.) Logical Aspects of Computational Linguistics. Lecture Notes in Computer Science, pp. 96\u2013106. Springer, Berlin (2014)"},{"issue":"2","key":"370_CR8","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1093\/logcom\/exu035","volume":"26","author":"N Francez","year":"2016","unstructured":"Francez, N.: Views of proof-theoretic semantics: reified proof-theoretic meanings. J. Logic Comput. 26(2), 479\u2013494 (2016). https:\/\/doi.org\/10.1093\/logcom\/exu035","journal-title":"J. Logic Comput."},{"key":"370_CR9","doi-asserted-by":"publisher","first-page":"225","DOI":"10.2143\/LEA.247.0.3287262","volume":"247","author":"N Francez","year":"2019","unstructured":"Francez, N.: A proof-theoretic semantics for parametric logical constants. Logique et analyse 247, 225\u2013244 (2019). https:\/\/doi.org\/10.2143\/LEA.247.0.3287262","journal-title":"Logique et analyse"},{"key":"370_CR10","doi-asserted-by":"publisher","unstructured":"Gentzen, G.: Untersuchungen \u00fcber das logische Schlie\u00dfen I. II. Mathematische Zeitschrift 39(176\u2013210), 405\u2013431 (1935). https:\/\/doi.org\/10.1007\/BF01201353,","DOI":"10.1007\/BF01201353"},{"key":"370_CR11","first-page":"17","volume-title":"Immanent Reasoning or Equality in Action","author":"A Klev","year":"2018","unstructured":"Klev, A.: A brief introduction to constructive type theory. In: Rahman, S., McConaughey, Z., Clerbout, N. (eds.) Immanent Reasoning or Equality in Action, pp. 17\u201355. Springer, Berlin (2018)"},{"key":"370_CR12","volume-title":"Intuitionistic Type Theory","author":"P Martin-L\u00f6f","year":"1984","unstructured":"Martin-L\u00f6f, P.: Intuitionistic Type Theory. Bibliopolis, Derry (1984)"},{"key":"370_CR13","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/978-3-031-51406-7_6","volume-title":"Perspectives on Deduction Contemporary Studies in the Philosophy History and Formal Theories of Deduction","author":"E Moriconi","year":"2024","unstructured":"Moriconi, E.: From proof-objects to grounds. In: Aragona, A.P. (ed.) Perspectives on Deduction Contemporary Studies in the Philosophy History and Formal Theories of Deduction, pp. 115\u2013138. Springer, Berlin (2024)"},{"key":"370_CR14","first-page":"223","volume-title":"Philosophy of Science. Between the Natural Sciences, the Social Sciences, and the Humanities","author":"A Piccolomini d\u2019Aragona","year":"2018","unstructured":"Piccolomini d\u2019Aragona, A.: A partial calculus for Dag Prawitz\u2019s theory of grounds and a decidability issue. In: Christian, A., Hommen, D., Retzlaff, N., Schurz, G. (eds.) Philosophy of Science. Between the Natural Sciences, the Social Sciences, and the Humanities, pp. 223\u2013244. Springer, Berlin (2018)"},{"key":"370_CR15","doi-asserted-by":"publisher","first-page":"531","DOI":"10.1007\/s11245-017-9473-9","volume":"38","author":"A Piccolomini d\u2019Aragona","year":"2019","unstructured":"Piccolomini d\u2019Aragona, A.: Dag Prawitz on proofs, operations and grounding. TOPOI 38, 531\u2013550 (2019). https:\/\/doi.org\/10.1007\/s11245-017-9473-9","journal-title":"TOPOI"},{"key":"370_CR16","doi-asserted-by":"publisher","unstructured":"Piccolomini d\u2019Aragona, A.: Calculi of epistemic grounding based on Prawitz\u2019s theory of grounds. Studia Logica 110, 819\u2013877 (2022). https:\/\/doi.org\/10.1007\/s11225-021-09979-6","DOI":"10.1007\/s11225-021-09979-6"},{"key":"370_CR17","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/s11225-021-09969-8","volume":"110","author":"A Piccolomini d\u2019Aragona","year":"2022","unstructured":"Piccolomini d\u2019Aragona, A.: Denotational semantics for languages of epistemic grounding based on Prawitz\u2019s theory of grounds. Studia Logica 110, 355\u2013403 (2022). https:\/\/doi.org\/10.1007\/s11225-021-09969-8","journal-title":"Studia Logica"},{"key":"370_CR18","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/s10992-021-09621-9","volume":"51","author":"A Piccolomini d\u2019Aragona","year":"2022","unstructured":"Piccolomini d\u2019Aragona, A.: Epistemic compulsion in Prawitz\u2019s semantics. Proofs, grounds and empty functions. J. Philos. Logic 51, 249\u2013281 (2022). https:\/\/doi.org\/10.1007\/s10992-021-09621-9","journal-title":"J. Philos. Logic"},{"key":"370_CR19","doi-asserted-by":"publisher","unstructured":"Piccolomini d\u2019Aragona, A.: Prawitz\u2019s epistemic grounding. An investigation into the power of deduction. Synthese Library, Springer, 2023. https:\/\/doi.org\/10.1007\/978-3-031-20294-0","DOI":"10.1007\/978-3-031-20294-0"},{"key":"370_CR20","unstructured":"Piccolomini d\u2019Aragona, A.: A comparison of three kinds of monotonic proof-theoretic semantics and the base-incompleteness of intuitionistic logic. (2025). arXiv:2501.03297"},{"key":"370_CR21","unstructured":"Piccolomini d\u2019Aragona, A.: Some results in non-monotonic proof-theoretic semantics. (2025). arXiv:2501.03298"},{"key":"370_CR22","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/s10992-014-9322-x","volume":"44","author":"T Piecha","year":"2015","unstructured":"Piecha, T., de Campos Sanz, W., Schroder-Heister, P.: Failure of completeness in proof-theoretic semantics. J. Philos. Logic 44, 321\u2013335 (2015). https:\/\/doi.org\/10.1007\/s10992-014-9322-x","journal-title":"J. Philos. Logic"},{"issue":"1","key":"370_CR23","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/s11225-018-9823-7","volume":"107","author":"T Piecha","year":"2019","unstructured":"Piecha, T., Schroeder-Heister, P.: Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics. Studia Logica 107(1), 233\u2013246 (2019). https:\/\/doi.org\/10.1007\/s11225-018-9823-7","journal-title":"Studia Logica"},{"key":"370_CR24","doi-asserted-by":"crossref","unstructured":"Poggiolesi, F.: Logics. In M.\u00a0Raven, (ed.), The Routledge handbook of metaphysical grounding, pp. 213\u2013227. Routledge, (2020)","DOI":"10.4324\/9781351258845-21"},{"key":"370_CR25","volume-title":"Natural Deduction. A Proof-Theoretical Study","author":"D Prawitz","year":"1965","unstructured":"Prawitz, D.: Natural Deduction. A Proof-Theoretical Study. Almqvist & Wiskell, Stockholm (1965)"},{"key":"370_CR26","doi-asserted-by":"publisher","unstructured":"Prawitz, D.: Towards a foundation of a general proof-theory. In P.\u00a0Suppes, L.\u00a0Henkin, A.\u00a0Joja, and G.\u00a0C. Moisil, (eds), Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971, pp. 225\u2013250. Elsevier, (1973). https:\/\/doi.org\/10.1016\/S0049-237X(09)70361-1","DOI":"10.1016\/S0049-237X(09)70361-1"},{"key":"370_CR27","unstructured":"Prawitz, D.: Inference and knowledge. In M.\u00a0Pelis, (ed.), The LOGICA Yearbook 2008, pages 175\u2013192. College Publications, (2009)"},{"key":"370_CR28","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/978-94-007-4435-6_3","volume-title":"Epistemology Versus Ontology","author":"D Prawitz","year":"2012","unstructured":"Prawitz, D.: Truth and proof in intuitionism. In: Dybjer, P., Lindstr\u00f6m, S., Palmgren, E., Sundholm, G. (eds.) Epistemology Versus Ontology, pp. 45\u201367. Springer, Berlin (2012)"},{"key":"370_CR29","doi-asserted-by":"crossref","unstructured":"Prawitz, D.: Validity of inferences. In M.\u00a0Frauchiger, (ed.), Reference, Rationality, and Phenomenology. Themes from F\u00f8llesdal, pp. 179\u2013204 (2013)","DOI":"10.1515\/9783110323542.179"},{"key":"370_CR30","doi-asserted-by":"publisher","unstructured":"Prawitz, D.: Explaining deductive inference. In H.\u00a0Wansing, (ed.), Dag Prawitz on Proofs and Meaning, pp. 65\u2013100. Springer, (2015). https:\/\/doi.org\/10.1007\/978-3-319-11041-7_3","DOI":"10.1007\/978-3-319-11041-7_3"},{"key":"370_CR31","first-page":"291","volume-title":"Mathesis Universalis","author":"D Prawitz","year":"2019","unstructured":"Prawitz, D.: The concepts of proof and ground. In: Centrone, S., Negri, S., Sarikaya, D., Schuster, P.M. (eds.) Mathesis Universalis, pp. 291\u2013309. Springer, Berlin (2019)"},{"issue":"3","key":"370_CR32","doi-asserted-by":"publisher","first-page":"424","DOI":"10.1017\/S1755020313000154","volume":"6","author":"A Rumberg","year":"2013","unstructured":"Rumberg, A.: Bolzano\u2019s concept of grounding (Abfolge) against the background of normal proofs. Rev. Symbol. Logic 6(3), 424\u2013459 (2013). https:\/\/doi.org\/10.1017\/S1755020313000154","journal-title":"Rev. Symbol. Logic"},{"key":"370_CR33","unstructured":"Schroeder-Heister, P.: Proof-theoretic semantics. In E.\u00a0N. Zalta, (ed.), The Stanford Encyclopedia of Philosophy (2018)"},{"key":"370_CR34","volume-title":"Logic and Knowledge","author":"G Sundholm","year":"2011","unstructured":"Sundholm, G.: A garden of grounding trees. In: Ippoliti, E., Cellucci, C., Grosholz, E. (eds.) Logic and Knowledge. Cambridge Scholar Publishing, Cambridge (2011)"},{"key":"370_CR35","unstructured":"Troelstra, A.S., van Dalen, D.: Constructivism in Mathematics. Vol. I. North-Holland, (1988)"},{"key":"370_CR36","unstructured":"Wedberg, A.: Filosofins Historia. Bonniers, Fr\u00e5n Bolzano till Wittgenstein (1966)"}],"container-title":["Logica Universalis"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-025-00370-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11787-025-00370-w\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-025-00370-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,13]],"date-time":"2025-05-13T22:31:13Z","timestamp":1747175473000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11787-025-00370-w"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,3]]},"references-count":36,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2025,3]]}},"alternative-id":["370"],"URL":"https:\/\/doi.org\/10.1007\/s11787-025-00370-w","relation":{"is-basis-for":[{"id-type":"doi","id":"10.52843\/cassyni.sfkz16","asserted-by":"object"}]},"ISSN":["1661-8297","1661-8300"],"issn-type":[{"value":"1661-8297","type":"print"},{"value":"1661-8300","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,3]]},"assertion":[{"value":"16 October 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 March 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 April 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The author states that there is no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}]}}