{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T23:25:56Z","timestamp":1744241156481,"version":"3.40.3"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031514050"},{"type":"electronic","value":"9783031514067"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-51406-7_2","type":"book-chapter","created":{"date-parts":[[2024,4,1]],"date-time":"2024-04-01T20:18:53Z","timestamp":1712002733000},"page":"21-37","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["The Interdependence Between the Concepts of Valid Inference and Proof Revisited"],"prefix":"10.1007","author":[{"given":"Dag","family":"Prawitz","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,4,2]]},"reference":[{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Gentzen, G. (1935). Untersuchungen \u00fcber das logische Schlie\u00dfen. I. Mathematische Zeitschrift, 39, 176\u2013210.","DOI":"10.1007\/BF01201353"},{"key":"2_CR1","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/BF02028143","volume":"2","author":"A Heyting","year":"1931","unstructured":"Heyting, A. (1931). Die intuitionistische Grundlegung der Mathematik. Erkenntnis, 2, 106\u2013115.","journal-title":"Erkenntnis"},{"key":"2_CR2","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/BF00660890","volume":"27","author":"A Heyting","year":"1974","unstructured":"Heyting, A. (1974). Intuitionistic views on the nature of mathematics. Synthese, 27, 79\u201391.","journal-title":"Synthese"},{"key":"2_CR3","first-page":"479","volume-title":"To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism","author":"W Howard","year":"1980","unstructured":"Howard, W. (1980). The formula-as-types notion of construction. In J. Seldin et al. (Eds.), To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism (pp. 479\u2013490). Academic."},{"key":"2_CR14","unstructured":"Martin-L\u00f6f, P. (1984). Intuitionistic type theory. Bibliopolis."},{"key":"2_CR4","first-page":"203","volume-title":"Atti degli Incontri di Logica Matematica","author":"P Martin-L\u00f6f","year":"1985","unstructured":"Martin-L\u00f6f, P. (1985). On the meanings of the logical constants and the justifications of the logical laws. In C. Bernardi & P. Pagli (Eds.), Atti degli Incontri di Logica Matematica (Vol. 2, pp. 203\u2013281). Scuola di Specializzazione in Logica Matematica, Dipartimento di Matematica, Universit\u00e0 di Siena. (Republished in Nordic Journal of Philosophical Logic 1, pp. 11\u201360, 1996)."},{"key":"2_CR5","first-page":"187","volume":"3","author":"P Martin-L\u00f6f","year":"1994","unstructured":"Martin-L\u00f6f, P. (1994). Verificationism then and now. Vienna Circle Institute Yearbook, 3, 187\u2013196.","journal-title":"Vienna Circle Institute Yearbook"},{"key":"2_CR6","first-page":"1","volume-title":"Judgement and the epistemic foundation of logic","author":"P Martin-L\u00f6f","year":"2013","unstructured":"Martin-L\u00f6f, P. (2013). Verificationism then and now (with a postscript January 2012). In M. van der Schaar (Ed.), Judgement and the epistemic foundation of logic (pp. 1\u201314). Springer."},{"key":"2_CR8","volume-title":"Natural deduction","author":"D Prawitz","year":"1965","unstructured":"Prawitz, D. (1965). Natural deduction. Almqvist & Wicksell. (Reprinted with Dover Publications, Mineola, N.Y., 2006)."},{"key":"2_CR9","first-page":"15","volume-title":"Why is this a proof? Festschrift for Luiz Carlos Pereira","author":"D Prawitz","year":"2015","unstructured":"Prawitz, D. (2015). Classical versus intuitionistic logic. In E. H. Haeusler et al. (Eds.), Why is this a proof? Festschrift for Luiz Carlos Pereira (pp. 15\u201332). College Publications."},{"key":"2_CR10","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1007\/s11245-017-9506-4","volume":"38","author":"D Prawitz","year":"2019","unstructured":"Prawitz, D. (2019). The seeming interdependence between the concepts of valid inference and proof. Topoi, 38, 493\u2013503.","journal-title":"Topoi"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Prawitz, D. (2024, forthcoming). The validity of inference and argument. In Piecha et al. (Eds.), Peter Schroeder-Heister on proof-theoretic semantics. Springer.","DOI":"10.1007\/978-3-031-50981-0_4"},{"key":"2_CR12","volume-title":"Constructivism in mathematics","author":"AS Troelstra","year":"1988","unstructured":"Troelstra, A. S., & van Dalen, D. (1988). Constructivism in mathematics (Vol. 1). North-Holland."}],"container-title":["Synthese Library","Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-51406-7_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,1]],"date-time":"2024-04-01T20:19:22Z","timestamp":1712002762000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-51406-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031514050","9783031514067"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-51406-7_2","relation":{},"ISSN":["0166-6991","2542-8292"],"issn-type":[{"type":"print","value":"0166-6991"},{"type":"electronic","value":"2542-8292"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"2 April 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}