{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T22:48:46Z","timestamp":1725835726240},"publisher-location":"Cham","reference-count":7,"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_14","type":"book-chapter","created":{"date-parts":[[2015,10,24]],"date-time":"2015-10-24T14:47:38Z","timestamp":1445698058000},"page":"211-229","source":"Crossref","is-referenced-by-count":1,"title":["Self-contradictory Reasoning"],"prefix":"10.1007","author":[{"given":"Jan","family":"Ekman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,10,25]]},"reference":[{"key":"14_CR1","unstructured":"Crabb\u00e9, M.: Non-normalisation de la th\u00e9orie de Zermelo. http:\/\/www.logic-center.be\/Publications\/Bibliotheque\/contreexemple.pdf (sketch of the result presented at the Proof Theory Symposium held in Kiel in 1974)"},{"key":"14_CR2","unstructured":"Ekman, J.: Normal proofs in set theory. Ph.D. thesis, Department of Computing Science, University of G\u00f6teborg (1994)"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Gentzen, G.: Untersuchungen \u00fcber das logische Schlie\u00dfen. Mathematische Zeitschrift, 39, 176-210, 405-431 (1934\/35) (English translation in: The Collected Papers of Gerhard Gentzen (Szabo, M.E. (ed.). Amsterdam, North Holland (1969), pp. 68-131)","DOI":"10.1007\/BF01201363"},{"key":"14_CR4","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1016\/S0049-237X(08)70843-7","volume-title":"Proceedings of the Second Scandinavian Logic Symposium","author":"Jean-Yves Girard","year":"1971","unstructured":"Girard, J.-Y.: Une extension de l\u2019interpr\u00e9tation de G\u00f6del \u00e0 l\u2019analyse, et son application \u00e0 l\u2019\u00e9limination des coupures dans l\u2019analyse et la th\u00e9orie des types. In: Fenstad, J.E. (ed.) Proceedings of the Second Scandinavian Logic Symposium, pp. 63-92. North-Holland, Amsterdam (1971)"},{"key":"14_CR5","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/S0049-237X(08)70848-6","volume-title":"Proceedings of the Second Scandinavian Logic Symposium","author":"Per Martin-L\u00f6f","year":"1971","unstructured":"Martin-L\u00f6f, P.: Hauptsatz for the theory of species. In: Fenstad, J.E. (ed.) Proceedings of the Second Scandinavian Logic Symposium, pp. 217-233. North-Holland, Amsterdam (1971)"},{"key":"14_CR6","volume-title":"Natural Deduction: A Proof-Theoretical Study","author":"D Prawitz","year":"1965","unstructured":"Prawitz, D.: Natural Deduction: A Proof-Theoretical Study. Almqvist & Wiksell, Stockholm (1965). Reprinted Dover Publ., Mineola 2006"},{"key":"14_CR7","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/S0049-237X(08)70849-8","volume-title":"Proceedings of the Second Scandinavian Logic Symposium (Oslo 1970)","author":"D Prawitz","year":"1971","unstructured":"Prawitz, D.: Ideas and results in proof theory. In: Fenstad, J.E. (ed.) Proceedings of the Second Scandinavian Logic Symposium (Oslo 1970), pp. 235\u2013307. North-Holland, Amsterdam (1971)"}],"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_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,31]],"date-time":"2019-08-31T22:09:56Z","timestamp":1567289396000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-22686-6_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10,25]]},"ISBN":["9783319226859","9783319226866"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-22686-6_14","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]]}}}