{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T20:12:30Z","timestamp":1776888750320,"version":"3.51.2"},"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-6291-6","type":"journal-article","created":{"date-parts":[[2006,4,20]],"date-time":"2006-04-20T08:36:49Z","timestamp":1145522209000},"page":"589-602","source":"Crossref","is-referenced-by-count":13,"title":["On the Proof-theoretic Foundation of General Definition Theory"],"prefix":"10.1007","volume":"148","author":[{"given":"Lars","family":"Halln\u00e4s","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6291_CR1","doi-asserted-by":"crossref","unstructured":"Colson, L.: 1991, \u2018About Primitive Recursive Algorithms\u2019, Theoretical Computer Science 83(1).","DOI":"10.1016\/0304-3975(91)90039-5"},{"key":"6291_CR2","unstructured":"Ekman, J.: 1994, Normal Proofs in Set Theory, Ph.D. thesis, Department of Computing Science, Chalmers University of Technology."},{"key":"6291_CR3","doi-asserted-by":"crossref","unstructured":"Fredholm, D.: 1995, \u2018Intensional Aspects of Function Definitions\u2019, Theoretical Computer Science 152(1).","DOI":"10.1016\/0304-3975(94)00268-9"},{"key":"6291_CR4","doi-asserted-by":"crossref","unstructured":"Grenander, U.: 1994, General Pattern Theory, A Mathematical Study of Regular Structures, Oxford University Press.","DOI":"10.1093\/oso\/9780198536710.001.0001"},{"key":"6291_CR5","doi-asserted-by":"crossref","unstructured":"Halln\u00e4s, L.: 1991, \u2018Partial Inductive Definitions\u2019, Theoretical Computer Science 87.","DOI":"10.1016\/S0304-3975(06)80007-1"},{"key":"6291_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-01539-1","volume-title":"Einf\u00fchrung in die operative Logik und Mathematik","author":"P. Lorenzen","year":"1955"},{"key":"6291_CR7","doi-asserted-by":"crossref","unstructured":"Prawitz, D.: 1971, \u2018Ideas and Results in Proof Theory\u2019, in J. E. Fenstad (ed.) Proceedings of the Second Scandinavian Logic Symposium, North Holland, Amsterdam.","DOI":"10.1016\/S0049-237X(08)70849-8"},{"key":"6291_CR8","unstructured":"Prawitz, D.: 1973, \u2018Towards a General Proof Theory\u2019, in P. Suppes (ed.) Logic, Methodology and the Philosophy of Science IV, North Holland, Amsterdam."},{"key":"6291_CR9","doi-asserted-by":"crossref","unstructured":"Prawitz, D.: 1973, \u2018On the Idea of a General Proof Theory\u2019, Synthese 27.","DOI":"10.1007\/BF00660889"},{"key":"6291_CR10","unstructured":"Schroeder-Heister, P.: 1993, \u2018Rules of Definitional Reflection\u2019, in Proceedings of the 8th Annual IEEE Symposium on Logic in Computer Science, Montreal 1993, Los Alamitos."},{"key":"6291_CR11","doi-asserted-by":"crossref","unstructured":"Tait, W.: 1967, \u2018Intensional interpretations of functionals of finite type I\u2019, Journal of Symbolic Logic 32.","DOI":"10.2307\/2271658"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-004-6291-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-004-6291-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-004-6291-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,3]],"date-time":"2024-02-03T21:39:41Z","timestamp":1706996381000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-004-6291-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,2]]},"references-count":11,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2006,2]]}},"alternative-id":["6291"],"URL":"https:\/\/doi.org\/10.1007\/s11229-004-6291-6","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,2]]}}}