{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T22:48:44Z","timestamp":1725835724289},"publisher-location":"Cham","reference-count":14,"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_10","type":"book-chapter","created":{"date-parts":[[2015,10,24]],"date-time":"2015-10-24T10:47:38Z","timestamp":1445683658000},"page":"161-171","source":"Crossref","is-referenced-by-count":2,"title":["On the Proof-Theoretic Foundations of Set Theory"],"prefix":"10.1007","author":[{"given":"Lars","family":"Halln\u00e4s","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,10,25]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"Aczel, P.: Frege structures and the notions of proposition, truth and set. In: J. Barwise, H.J. Keisler, K. Kunen (eds.) The Kleene Symposium. North-Holland (1980)","DOI":"10.1016\/S0049-237X(08)71252-7"},{"key":"10_CR2","unstructured":"Cantor, G.: Contributions to the Founding of the Theory of Transfinite Numbers. Dover Publications (1955)"},{"key":"10_CR3","unstructured":"Ekman, J.: Normal proofs in set theory. Ph.D. thesis, Department of Computing Science, Chalmers University of Technology (1994)"},{"key":"10_CR4","volume-title":"Foundations of Set Theory","author":"AA Fraenkel","year":"1973","unstructured":"Fraenkel, A.A., Bar-Hillel, Y., Levy, A.: Foundations of Set Theory. North-Holland, Amsterdam (1973)"},{"key":"10_CR5","unstructured":"Halln\u00e4s, L.: On normalization of proofs in set theory. Ph.D. Thesis, Dissertationes Mathematicae CCLXI, Warszawa (1988)"},{"key":"10_CR6","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/S0304-3975(06)80007-1","volume":"87","author":"L Halln\u00e4s","year":"1991","unstructured":"Halln\u00e4s, L.: Partial inductive definitions. Theor. Comput. Sci. 87, 115\u2013142 (1991)","journal-title":"Theor. Comput. Sci."},{"issue":"5","key":"10_CR7","doi-asserted-by":"publisher","first-page":"635","DOI":"10.1093\/logcom\/1.5.635","volume":"1","author":"L Halln\u00e4s","year":"1991","unstructured":"Halln\u00e4s, L., Schroeder-Heister, P.: A proof-theoretic characterization of logic programming II: programs as definitions. J. Log. Comput. 1(5), 635\u2013660 (1991)","journal-title":"J. Log. Comput."},{"issue":"57","key":"10_CR8","doi-asserted-by":"crossref","first-page":"0","DOI":"10.1090\/memo\/0057","volume":"0","author":"Azriel L\u00e9vy","year":"1965","unstructured":"Levy, A.: A hierarchy of formulas in set theory. In: Memoirs of the American Mathematical Society, vol. 57. American Mathematical Society, Providence (1965)","journal-title":"Memoirs of the American Mathematical Society"},{"key":"10_CR9","volume-title":"Natural Deduction","author":"D Prawitz","year":"1965","unstructured":"Prawitz, D.: Natural Deduction. A Proof-Theoretical Study. Almqvist & Wiksell, Stockholm (1965)"},{"key":"10_CR10","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. North-Holland (1971)","DOI":"10.1016\/S0049-237X(08)70849-8"},{"key":"10_CR11","volume-title":"Logic","author":"D Prawitz","year":"1973","unstructured":"Prawitz, D.: Towards a general proof theory. In: Suppes, P. (ed.) Logic. Methodology and the Philosophy of Science IV. North-Holland, Amsterdam (1973)"},{"key":"10_CR12","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":"10_CR13","unstructured":"Schroeder-Heister, P.: Rules of definitional reflection. In: Proceedings of the 8th Annual IEEE Symposium on Logic in Computer Science. Los Alamitos, Montreal (1993)"},{"key":"10_CR14","volume-title":"Insolubles and Consequences: Essays in honour of Stephen Read","author":"P Schroeder-Heister","year":"2012","unstructured":"Schroeder-Heister, P.: Paradoxes and structural rules. In: Novaes, C.D., Hjortland, O.T. (eds.) Insolubles and Consequences: Essays in honour of Stephen Read. College Publications, London (2012)"}],"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_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T05:14:30Z","timestamp":1559279670000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-22686-6_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10,25]]},"ISBN":["9783319226859","9783319226866"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-22686-6_10","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]]}}}