{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T15:41:24Z","timestamp":1762270884506},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2006,2,1]],"date-time":"2006-02-01T00:00:00Z","timestamp":1138752000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2006,2]]},"DOI":"10.1007\/s11229-004-6292-5","type":"journal-article","created":{"date-parts":[[2006,4,20]],"date-time":"2006-04-20T08:36:49Z","timestamp":1145522209000},"page":"503-506","source":"Crossref","is-referenced-by-count":26,"title":["Introduction: Proof-theoretic Semantics"],"prefix":"10.1007","volume":"148","author":[{"given":"Reinhard","family":"Kahle","sequence":"first","affiliation":[]},{"given":"Peter","family":"Schroeder-Heister","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6292_CR1","volume-title":"The Logical Basis of Metaphysics","author":"M. Dummett","year":"1991"},{"key":"6292_CR2","unstructured":"Gentzen, G.: 1934, \u2018Untersuchungen \u00fcber das logische Schlie\u00dfen\u2019, Mathematische Zeitschrift 39 (1934\/35), 176\u2013210, 405\u2013431, English translation (\u2018Investigations into Logical Deduction\u2019) in M. E. Szabo (ed.), The Collected Papers of Gerhard Gentzen, North Holland, Amsterdam 1969, 68\u2013131."},{"key":"6292_CR3","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1016\/S0049-237X(08)70843-7","volume-title":"Proceedings of the 2nd Scandinavian Logic Symposium (Oslo 1970)","author":"J.-Y. Girard","year":"1971"},{"key":"6292_CR4","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/BF01973339","volume":"11","author":"F. Kutschera von","year":"1968","journal-title":"Archiv f\u00fcr mathematische Logik und Grundlagenforschung."},{"key":"6292_CR5","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/S0049-237X(08)70847-4","volume-title":"Proceedings of the 2nd Scandinavian Logic Symposium (Oslo 1970)","author":"P. Martin-L\u00f6f","year":"1971"},{"key":"6292_CR6","first-page":"73","volume-title":"Logic Colloquium \u201973","author":"P. Martin-L\u00f6f","year":"1975"},{"key":"6292_CR7","first-page":"153","volume-title":"Logic, Methodology and Philosophy of Science VI [1979]","author":"P. Martin-L\u00f6f","year":"1982"},{"key":"6292_CR8","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/S0049-237X(08)70849-8","volume-title":"Proceedings of the 2nd Scandinavian Logic Symposium (Oslo 1970)","author":"D. Prawitz","year":"1971"},{"key":"6292_CR9","first-page":"225","volume-title":"Logic, Methodology, and Philosophy of Science IV [1971]","author":"D. Prawitz","year":"1973"},{"key":"6292_CR10","first-page":"1142","volume":"56","author":"P. Schroeder-Heister","year":"1991","journal-title":"Journal of Symbolic Logic."},{"key":"6292_CR11","doi-asserted-by":"crossref","first-page":"198","DOI":"10.2307\/2271658","volume":"32","author":"W. W. Tait","year":"1967","journal-title":"Journal of Symbolic Logic."}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-004-6292-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-004-6292-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-004-6292-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T10:32:18Z","timestamp":1559385138000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-004-6292-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,2]]},"references-count":11,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2006,2]]}},"alternative-id":["6292"],"URL":"https:\/\/doi.org\/10.1007\/s11229-004-6292-5","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,2]]}}}