{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:32:17Z","timestamp":1740123137843,"version":"3.37.3"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2018,2,22]],"date-time":"2018-02-22T00:00:00Z","timestamp":1519257600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100009244","name":"Stockholm University","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100009244","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2019,2]]},"DOI":"10.1007\/s11225-018-9785-9","type":"journal-article","created":{"date-parts":[[2018,2,22]],"date-time":"2018-02-22T01:41:18Z","timestamp":1519263678000},"page":"11-29","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["The Fundamental Problem of General Proof Theory"],"prefix":"10.1007","volume":"107","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4183-715X","authenticated-orcid":false,"given":"Dag","family":"Prawitz","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,2,22]]},"reference":[{"key":"9785_CR1","doi-asserted-by":"crossref","unstructured":"Diller, J., and A. S. Troelstra, Realizability and intuitionistic logic, Synthese 60:253\u2013282, 1984.","DOI":"10.1007\/BF00485463"},{"key":"9785_CR2","doi-asserted-by":"crossref","unstructured":"Dummett, M., The philosophical basis of intuitionistic logic, in H. E. Rose et al. (eds.), Logic Colloquium \u201973, North-Holland Publishing Company, Amsterdam, 1975, pp. 5\u201340.","DOI":"10.1016\/S0049-237X(08)71941-4"},{"key":"9785_CR3","volume-title":"The Logical Basis of Metaphysics","author":"M Dummett","year":"1991","unstructured":"Dummett, M., The Logical Basis of Metaphysics, Duckworth, London, 1991."},{"key":"9785_CR4","doi-asserted-by":"crossref","unstructured":"Gentzen, G., Untersuchungen \u00fcber das logische Schlie\u00dfen, Mathematische Zeitschrift 39:176\u2013210, 1935.","DOI":"10.1007\/BF01201353"},{"key":"9785_CR5","doi-asserted-by":"crossref","unstructured":"Hilbert, D., Axiomatisches Denken, Mathematischen Annalen 78:405\u2013415, 1918.","DOI":"10.1007\/BF01457115"},{"key":"9785_CR6","doi-asserted-by":"crossref","unstructured":"Hilbert, D., Neubegr\u00fcndung der Mathematik, Erste Mitteilung, Abhandlungen aus dem mathematischen Seminar der Hamburgischen Universit\u00e4t 1:157\u2013177, 1922.","DOI":"10.1007\/BF02940589"},{"key":"9785_CR7","doi-asserted-by":"crossref","unstructured":"Heyting, A., Die intuitionistische Grundlegung der Mathematik, Erkenntnis 2:106\u2013115, 1931.","DOI":"10.1007\/BF02028143"},{"key":"9785_CR8","volume-title":"Mathematische Grundlagenforschung","author":"A Heyting","year":"1934","unstructured":"Heyting, A., Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie, Springer, Berlin, 1934."},{"key":"9785_CR9","unstructured":"Heyting, A., Intuitionism in mathematics, in R. Klibansky (ed), Philosophy in the Mid-Century, La Nuova Italia, Florence, 1958, pp. 101\u2013115."},{"key":"9785_CR10","unstructured":"Howard, W., The formulae-as-types notion of construction, in J. Seldin et al. (eds.), To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, Academic Press, London, 1980, pp. 479\u2013490."},{"key":"9785_CR11","doi-asserted-by":"crossref","unstructured":"Kreisel, G., A survey of proof theory, Journal of Symbolic Logic 33:321\u2013388, 1968.","DOI":"10.2307\/2270324"},{"key":"9785_CR12","first-page":"238","volume":"68","author":"G Kreisel","year":"1971","unstructured":"Kreisel, G., Book reviews, The Collected Papers of Gerhard Gentzen, The Journal of Philosophy 68:238\u2013265, 1971.","journal-title":"The Collected Papers of Gerhard Gentzen, The Journal of Philosophy"},{"key":"9785_CR13","doi-asserted-by":"crossref","unstructured":"Kreisel, G., A survey of proof theory II, in J. Fenstad (ed.), Proceedings of the Second Scandinavian Logic Symposium, North-Holland, Amsterdam, 1971, pp. 109\u2013170.","DOI":"10.1016\/S0049-237X(08)70845-0"},{"key":"9785_CR14","unstructured":"Martin-L\u00f6f, P., Intuitionistic Type Theory, Bibliopolis, Napoli, 1984."},{"key":"9785_CR15","doi-asserted-by":"crossref","unstructured":"Martin-L\u00f6f, P., Truth of a proposition, evidence of a judgement, validity of a proof, Synthese 73:407\u2013420, 1987.","DOI":"10.1007\/BF00484985"},{"key":"9785_CR16","doi-asserted-by":"crossref","unstructured":"Martin-L\u00f6f, P., Truth and knowability: on the principles C and K of Michael Dummett, in H. G. Dales and G. Oliveri (eds.), Truth in Mathematics, Clarendon Press, Oxford, 1998, pp. 105\u2013114.","DOI":"10.1093\/oso\/9780198514763.003.0005"},{"key":"9785_CR17","unstructured":"Prawitz, D., Natural Deduction. A Proof-Theoretical Study, Almqvist & Wiksell, Stockholm, 1965. (Republished by Dover Publications, New York, 2006.)"},{"key":"9785_CR18","doi-asserted-by":"crossref","unstructured":"Prawitz, D., Ideas and results in proof theory, in J. Fenstad (ed.), Proceedings of the Second Scandinavian Logic Symposium, North-Holland, Amsterdam, 1971, pp. 237\u2013309.","DOI":"10.1016\/S0049-237X(08)70849-8"},{"key":"9785_CR19","doi-asserted-by":"crossref","unstructured":"Prawitz, D., Towards a foundation of general proof theory, in P. Suppes et al. (eds.), Logic, Methodology and Philosophy of Science IV, North-Holland, Amsterdam, 1973, pp. 225\u2013250.","DOI":"10.1016\/S0049-237X(09)70361-1"},{"key":"9785_CR20","doi-asserted-by":"crossref","unstructured":"Prawitz, D., Meaning approached via proofs, Synthese 148:507\u2013524, 2006.","DOI":"10.1007\/s11229-004-6295-2"},{"key":"9785_CR21","doi-asserted-by":"crossref","unstructured":"Prawitz, D., Explaining deductive inference, in H. Wansing (ed.), Dag Prawitz on Proofs and Meaning (Outstanding Contributions to Logic vol. 7), Springer, Cham, 2015, pp. 65\u2013100.","DOI":"10.1007\/978-3-319-11041-7_3"},{"key":"9785_CR22","unstructured":"Prawitz, D., On the relation between Heyting\u2019s and Gentzen\u2019s approaches to meaning, in T. Piecha and P. Schroeder-Heister (eds.), Advances in Proof-Theoretic Semantics (Trends in Logic vol. 43), Springer, Cham, 2016, pp. 5\u201325."},{"key":"9785_CR23","unstructured":"Prawitz, D., Gentzen\u2019s justification of inferences, in T. Piecha and P. Schroeder-Heister (eds.), General Proof Theory. Celebrating 50 Years of Dag Prawitz\u2019s \u201cNatural Deduction\u201d. Proceedings of the Conference held in T\u00fcbingen, 27\u201329 November 2015, URI: http:\/\/dx.doi.org\/10.15496\/publikation-10394 , University of T\u00fcbingen, 2016, pp. 263\u2013276."},{"key":"9785_CR24","doi-asserted-by":"crossref","unstructured":"Schroeder-Heister, P., Validity concepts in proof-theoretic semantics, Synthese 148:525\u2013571, 2006.","DOI":"10.1007\/s11229-004-6296-1"},{"key":"9785_CR25","unstructured":"Sundholm, G., Questions of Proof, Manuscrito (Campinas) 16:47\u201370, 1993."},{"key":"9785_CR26","doi-asserted-by":"crossref","unstructured":"Sundholm, G., Existence, proof and truth-making: A perspective on the intuitionistic conception of truth, Topoi 13:117\u2013126, 1994","DOI":"10.1007\/BF00763510"},{"key":"9785_CR27","doi-asserted-by":"crossref","unstructured":"Troelstra, A. S., Aspects of constructive mathematics, in J. Barwise (ed.), Handbook of Mathematical Logic, North-Holland Publishing Company, Amsterdam, 1977, pp. 973\u20131052.","DOI":"10.1016\/S0049-237X(08)71127-3"},{"key":"9785_CR28","unstructured":"Troelstra, A. S., and D. Van Dalen, Constructivism in Mathematics, vol. 1, North Holland Publishing Company, Amsterdam, 1988."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-018-9785-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-018-9785-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-018-9785-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,1]],"date-time":"2024-07-01T12:00:17Z","timestamp":1719835217000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-018-9785-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,2,22]]},"references-count":28,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2019,2]]}},"alternative-id":["9785"],"URL":"https:\/\/doi.org\/10.1007\/s11225-018-9785-9","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2018,2,22]]},"assertion":[{"value":"22 February 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}