{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T23:25:05Z","timestamp":1744241105240},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319226859"},{"type":"electronic","value":"9783319226866"}],"license":[{"start":{"date-parts":[[2015,10,25]],"date-time":"2015-10-25T00:00:00Z","timestamp":1445731200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc\/4.0"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-22686-6_2","type":"book-chapter","created":{"date-parts":[[2015,10,24]],"date-time":"2015-10-24T14:47:38Z","timestamp":1445698058000},"page":"5-25","source":"Crossref","is-referenced-by-count":6,"title":["On the Relation Between Heyting\u2019s and\u00a0Gentzen\u2019s Approaches to Meaning"],"prefix":"10.1007","author":[{"given":"Dag","family":"Prawitz","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,10,25]]},"reference":[{"key":"2_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-25375-5","volume-title":"Logische Syntax der Sprache","author":"R Carnap","year":"1934","unstructured":"Carnap, R.: Logische Syntax der Sprache. Springer, Wien (1934)"},{"doi-asserted-by":"crossref","unstructured":"Dummett, M.: The philosophical basis of intuitionistic logic. In: Rose, H.E., et al. (eds.) Logic Colloquium \u201973, pp. 5\u201340. Amsterdam, North-Holland (1975)","key":"2_CR2","DOI":"10.1016\/S0049-237X(08)71941-4"},{"key":"2_CR3","volume-title":"The Logical Basis of Metaphysics","author":"M Dummett","year":"1991","unstructured":"Dummett, M.: The Logical Basis of Metaphysics. Duckworth, London (1991)"},{"doi-asserted-by":"crossref","unstructured":"Gentzen, G.: Untersuchungen \u00fcber das logische Schlie\u00dfen. Mathematische Zeitschrift 39, 176\u2013210, 405\u2013431 (1934\u20131935)","key":"2_CR4","DOI":"10.1007\/BF01201363"},{"key":"2_CR5","first-page":"957","volume":"16","author":"A Heyting","year":"1930","unstructured":"Heyting, A.: Sur la logique intuitionniste. Acad\u00e9mie Royale de Belgique, Bulletin de la Classe des Sciences 16, 957\u2013963 (1930)","journal-title":"Acad\u00e9mie Royale de Belgique, Bulletin de la Classe des Sciences"},{"key":"2_CR6","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/BF02028143","volume":"2","author":"A Heyting","year":"1931","unstructured":"Heyting, A.: Die intuitionistische Grundlegung der Mathematik. Erkenntnis 2, 106\u2013115 (1931)","journal-title":"Erkenntnis"},{"key":"2_CR7","volume-title":"Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie","author":"A Heyting","year":"1934","unstructured":"Heyting, A.: Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie. Springer, Berlin (1934)"},{"key":"2_CR8","first-page":"101","volume-title":"Philosophy in the Mid-Century","author":"A Heyting","year":"1958","unstructured":"Heyting, A.: Intuitionism in mathematics. In: Klibansky, R. (ed.) Philosophy in the Mid-Century, pp. 101\u2013115. La Nuova Italia, Florence (1958)"},{"unstructured":"Howard, W.: The formula-as-types notion of construction. In: Seldin, J., et al. (eds.) To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, pp. 479-490. Academic Press, London (1980)","key":"2_CR9"},{"key":"2_CR10","first-page":"101","volume-title":"Constructivity of Mathematics","author":"G Kreisel","year":"1959","unstructured":"Kreisel, G.: Interpretation of analysis by means of constructive functionals of finite types. In: Heyting, A. (ed.) Constructivity of Mathematics, pp. 101\u2013128. North-Holland, Amsterdam (1959)"},{"issue":"02","key":"2_CR11","doi-asserted-by":"crossref","first-page":"139","DOI":"10.2307\/2964110","volume":"27","author":"G. Kreisel","year":"1962","unstructured":"Kreisel, G.: On weak completeness of intuitionistic predicate logic. J. Symb. Log. 27, 139-158 (1962)","journal-title":"The Journal of Symbolic Logic"},{"doi-asserted-by":"crossref","unstructured":"Kreisel, G.: Foundations of intuitionistic logic. In: Nagel, E., et al. (eds.) Logic, Methodology and Philosophy of Science, pp. 198-212. Stanford University Press, Stanford (1962)","key":"2_CR12","DOI":"10.1016\/S0049-237X(09)70587-7"},{"key":"2_CR13","doi-asserted-by":"publisher","first-page":"238","DOI":"10.2307\/2025206","volume":"68","author":"G Kreisel","year":"1971","unstructured":"Kreisel, G.: Book reviews, the collected papers of Gerhard Gentzen. J. Philos. 68, 238\u2013265 (1971)","journal-title":"J. Philos."},{"key":"2_CR14","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/S0049-237X(08)70847-4","volume-title":"Proceedings of the Second Scandinavian Logic Symposium","author":"Per Martin-L\u00f6f","year":"1971","unstructured":"Martin-L\u00f6f, P.: Hauptsatz for the intuitionistic theory of iterated inductive definitions. In: Fenstad, J.E. (ed.) Proceedings of the Second Scandinavian Logic Symposium, pp. 179-216. North-Holland, Amsterdam (1971)"},{"key":"2_CR15","volume-title":"Intuitionistic Type Theory","author":"P Martin-L\u00f6f","year":"1984","unstructured":"Martin-L\u00f6f, P.: Intuitionistic Type Theory. Bibliopolis, Napoli (1984)"},{"unstructured":"Prawitz, D.: Natural Deduction: A Proof-Theoretic Study. Almqvist & Wicksell, Stockholm. (1965) (Republished, Dover Publications, New York (2006))","key":"2_CR16"},{"doi-asserted-by":"crossref","unstructured":"Prawitz, D.: Ideas and results in proof theory. In: Fenstad, J.E. (ed.) Proceedings of the Second Scandinavian Logic Symposium, pp. 235-307. North-Holland, Amsterdam (1971)","key":"2_CR17","DOI":"10.1016\/S0049-237X(08)70849-8"},{"key":"2_CR18","first-page":"225","volume-title":"Logic, Methodology and Philosophy of Science IV","author":"D Prawitz","year":"1973","unstructured":"Prawitz, D.: Towards a foundation of general proof theory. In: Suppes, P., et al. (eds.) Logic, Methodology and Philosophy of Science IV, pp. 225\u2013250. North-Holland, Amsterdam (1973)"},{"key":"2_CR19","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":"2_CR20","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1007\/s11229-004-6295-2","volume":"148","author":"D Prawitz","year":"2006","unstructured":"Prawitz, D.: Meaning approached via proofs. Synthese 148, 507\u2013524 (2006)","journal-title":"Synthese"},{"key":"2_CR21","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1007\/978-3-319-11041-7_3","volume-title":"Dag Prawitz on Proofs and Meaning","author":"D Prawitz","year":"2015","unstructured":"Prawitz, D.: Explaining deductive inference. In: Wansing, H. (ed.) Dag Prawitz on Proofs and Meaning, pp. 65\u2013100. Springer, Cham (2015)"},{"key":"2_CR22","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":"2_CR23","doi-asserted-by":"publisher","first-page":"973","DOI":"10.1016\/S0049-237X(08)71127-3","volume-title":"Handbook of Mathematical Logic","author":"AS Troelstra","year":"1977","unstructured":"Troelstra, A.S.: Aspects of constructive mathematics. In: Barwise, J. (ed.) Handbook of Mathematical Logic, pp. 973\u20131052. North-Holland, Amsterdam (1977)"},{"unstructured":"Troelstra, A.S., van Dalen, D.: Constructivism in Mathematics, vol. 2. North-Holland, Amsterdam (1988)","key":"2_CR24"},{"issue":"2","key":"2_CR25","doi-asserted-by":"crossref","first-page":"240","DOI":"10.2178\/bsl\/1208442829","volume":"14","author":"Jan von Plato","year":"2008","unstructured":"von Plato, J.: Gentzen\u2019s proof of normalization for intuitionistic natural deduction. Bull. Symb. Log. 14, 240-257 (2008)","journal-title":"Bulletin of Symbolic Logic"}],"container-title":["Trends in Logic","Advances in Proof-Theoretic Semantics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-22686-6_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,15]],"date-time":"2023-08-15T15:56:32Z","timestamp":1692114992000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-22686-6_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10,25]]},"ISBN":["9783319226859","9783319226866"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-22686-6_2","relation":{},"ISSN":["1572-6126","2212-7313"],"issn-type":[{"type":"print","value":"1572-6126"},{"type":"electronic","value":"2212-7313"}],"subject":[],"published":{"date-parts":[[2015,10,25]]}}}