{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,14]],"date-time":"2025-05-14T02:49:19Z","timestamp":1747190959292,"version":"3.37.3"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2022,2,19]],"date-time":"2022-02-19T00:00:00Z","timestamp":1645228800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,2,19]],"date-time":"2022-02-19T00:00:00Z","timestamp":1645228800000},"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":["Stud Logica"],"published-print":{"date-parts":[[2022,6]]},"DOI":"10.1007\/s11225-021-09979-6","type":"journal-article","created":{"date-parts":[[2022,2,19]],"date-time":"2022-02-19T06:09:42Z","timestamp":1645250982000},"page":"819-877","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Calculi of Epistemic Grounding Based on Prawitz\u2019s Theory of Grounds"],"prefix":"10.1007","volume":"110","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2974-7197","authenticated-orcid":false,"given":"Antonio Piccolomini","family":"d\u2019Aragona","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,2,19]]},"reference":[{"key":"9979_CR1","volume-title":"Teoria delle dimostrazione","author":"C Cellucci","year":"1978","unstructured":"Cellucci, C., Teoria delle dimostrazione. Normalizzazioni e assegnazioni di numeri ordinali, Bollati Boringhieri, Torino, 1978."},{"key":"9979_CR2","unstructured":"Cozzo, C., Meaning and argument. A theory of meaning centred on immediate argumental role, Almqvist & Wiksell, Uppsala, 1994."},{"key":"9979_CR3","doi-asserted-by":"crossref","unstructured":"d\u2019Aragona, A. P., A partial calculus for Dag Prawitz\u2019s theory of grounds and a decidability issue, in A. Christian, D. Hommen, N. Retzlaff, and G. Schurz, (eds), Philosophy of Science, vol. 9 of European Studies in Philosophy of Science, Springer, Berlin Heidelberg, New York, 2018, pp. 223\u2013244.","DOI":"10.1007\/978-3-319-72577-2_13"},{"key":"9979_CR4","doi-asserted-by":"crossref","unstructured":"d\u2019Aragona, A. P., Dag Prawitz on proofs, operations and grounding, Topoi 38(3):531\u2013550, 2019.","DOI":"10.1007\/s11245-017-9473-9"},{"key":"9979_CR5","unstructured":"d\u2019Aragona, A. P., Dag Prawitz\u2019s theory of grounds, Ph.D. thesis, Aix-Marseille University, \u201cSapienza\u201d University of Rome, 2019, https:\/\/hal.archives-ouvertes.fr\/tel-02482320\/document."},{"key":"9979_CR6","doi-asserted-by":"crossref","unstructured":"d\u2019Aragona, A. P., Denotational semantics for languages of epistemic grounding based on Prawitz\u2019s theory of grounds, Studia Logica, 2021, online first.","DOI":"10.1007\/s11225-021-09979-6"},{"key":"9979_CR7","doi-asserted-by":"crossref","unstructured":"d\u2019Aragona, A. P., Proofs, grounds and empty functions: epistemic compulsion in Prawitz\u2019s semantics, Journal of Philosophical Logic, 2021, online first.","DOI":"10.1007\/s10992-021-09621-9"},{"key":"9979_CR8","unstructured":"Dummett, M., The logical basis of metaphysics, Harvard University Press, Cambridge, 1991."},{"key":"9979_CR9","unstructured":"Francez, N., Proof-theoretic semantics, College Publications, London, 2015."},{"key":"9979_CR10","doi-asserted-by":"crossref","unstructured":"Gentzen, G., Untersuchungen \u00fcber das logische Schlie\u00dfen I, Matematische Zeitschrift, 39:176\u2013210, 1935.","DOI":"10.1007\/BF01201353"},{"key":"9979_CR11","unstructured":"Heyting, A., Intuitionism. An introduction, North-Holland Publishing Company, Amsterdam, 1956."},{"key":"9979_CR12","unstructured":"Martin-L\u00f6f, P., Intuitionistic type theory, Bibliopolis, Napoli, 1984."},{"key":"9979_CR13","doi-asserted-by":"crossref","unstructured":"Piecha, T., W. de Campos Sanz, and P. Schroeder-Heister, Failure of completeness in proof-theoretic semantics, Journal of Philosophical Logic 44(3):321\u2013335, 2015.","DOI":"10.1007\/s10992-014-9322-x"},{"key":"9979_CR14","doi-asserted-by":"crossref","unstructured":"Piecha, T., and P. Schroeder-Heister, Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics, Studia Logica 107(1):233\u2013246, 2019.","DOI":"10.1007\/s11225-018-9823-7"},{"key":"9979_CR15","doi-asserted-by":"crossref","unstructured":"Prawitz, D., Ideas and results in proof theory, in J. E. Fenstad, (ed.), Proceedings of the Second Scandinavian Logic Symposium, vol. 63 of Studies in logic and the foundations of mathematics, North-Holland, Amsterdam, 1971, pp. 235\u2013308.","DOI":"10.1016\/S0049-237X(08)70849-8"},{"key":"9979_CR16","doi-asserted-by":"crossref","unstructured":"Prawitz, D., Towards a foundation of a general proof-theory, in P. Suppes, L. Henkin, A. Joja, and G. C. Moisil, (eds.) Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971, vol. 74 of Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, 1973, pp. 225\u2013250.","DOI":"10.1016\/S0049-237X(09)70361-1"},{"key":"9979_CR17","doi-asserted-by":"crossref","unstructured":"Prawitz, D., Meaning and proofs: on the conflict between classical and intuitionistic logic, Theoria 43(1):2\u201340, 1977.","DOI":"10.1111\/j.1755-2567.1977.tb00776.x"},{"key":"9979_CR18","unstructured":"Prawitz, D., Natural deduction. A proof-theoretical study, Dover, New York, 2006."},{"key":"9979_CR19","doi-asserted-by":"crossref","unstructured":"Prawitz, D., Explaining deductive inference, in H. Wansing, (ed.), Dag Prawitz on proofs and meaning, vol.7 of Outstanding Contributions to Logic, Springer, Berlin, Heidelberg New York, 2015, pp. 65\u2013100.","DOI":"10.1007\/978-3-319-11041-7_3"},{"key":"9979_CR20","doi-asserted-by":"crossref","unstructured":"Prawitz, D., The seeming interdependence between the concepts of valid inference and proof, Topoi 38(3):493\u2013503, 2019.","DOI":"10.1007\/s11245-017-9506-4"},{"key":"9979_CR21","unstructured":"Prawitz, D., The validity of inference and argument, forthcoming."},{"key":"9979_CR22","doi-asserted-by":"crossref","unstructured":"Schroeder-Heister, P., A natural extension for natural deduction, Journal of Symbolic Logic 49(4):1284\u20131300, 1984.","DOI":"10.2307\/2274279"},{"key":"9979_CR23","unstructured":"Schroeder-Heister, P., Generalized rules for quantifiers and the completeness of the intuitionistic operators $$\\wedge $$, $$\\vee $$, $$\\rightarrow $$, $$\\forall $$, $$\\exists $$, in M. M. Richter, E. B\u00f6rger, W. Oberschelp, B. Schinzel, and W. Thomas, (eds.), Computation and proof theory. Proceedings of the Logic Colloquium held in Aachen, July 18\u201323, 1983, Part II, Springer, Berlin, 1984, pp. 399\u2013426."},{"key":"9979_CR24","unstructured":"Schroeder-Heister, P., Uniform proof-theoretic semantics for logical constants, Journal of Symbolic Logic 56:1142, 1991."},{"key":"9979_CR25","unstructured":"Schroeder-Heister, P., Proof-theoretic semantics, in E. N. Zalta, (ed.), The Stanford Encyclopedia of Philosophy (Spring 2018 Edition), 2018."},{"key":"9979_CR26","doi-asserted-by":"crossref","unstructured":"Tranchini, L., Proof, meaning and paradox: some remarks, Topoi 38(3):1\u201313, 2019.","DOI":"10.1007\/s11245-018-9552-6"},{"key":"9979_CR27","doi-asserted-by":"crossref","unstructured":"Usberti, G., A notion of $$C$$-justification for empirical statements, in H. Wansing, (ed.), Dag Prawitz on proofs and meaning, vol. 7 of Oustanding Contributions to Logic, Springer, Berlin, Heidelberg, New York, 2015, pp. 415\u2013450.","DOI":"10.1007\/978-3-319-11041-7_18"},{"key":"9979_CR28","doi-asserted-by":"crossref","unstructured":"Usberti, G., Inference and epistemic transparency, Topoi 38(3):517\u2013530, 2019.","DOI":"10.1007\/s11245-017-9497-1"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-021-09979-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-021-09979-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-021-09979-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,28]],"date-time":"2022-05-28T17:09:59Z","timestamp":1653757799000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-021-09979-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,2,19]]},"references-count":28,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2022,6]]}},"alternative-id":["9979"],"URL":"https:\/\/doi.org\/10.1007\/s11225-021-09979-6","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2022,2,19]]},"assertion":[{"value":"21 October 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"1 November 2021","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 February 2022","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}