{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T15:23:46Z","timestamp":1726413826161},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2006,8,15]],"date-time":"2006-08-15T00:00:00Z","timestamp":1155600000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2006,12,27]]},"DOI":"10.1007\/s10992-005-9024-5","type":"journal-article","created":{"date-parts":[[2006,8,14]],"date-time":"2006-08-14T07:53:23Z","timestamp":1155542003000},"page":"61-95","source":"Crossref","is-referenced-by-count":3,"title":["Stability and Paradox in Algorithmic Logic"],"prefix":"10.1007","volume":"36","author":[{"given":"Wayne","family":"Aitken","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeffrey A.","family":"Barrett","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,8,15]]},"reference":[{"key":"9024_CR1","doi-asserted-by":"crossref","first-page":"631","DOI":"10.1023\/B:LOGI.0000046077.72722.61","volume":"33","author":"W. Aitken","year":"2004","unstructured":"Aitken, W. and Barrett J. A. (2004): Computer implication and the curry paradox, J. Philos. Logic 33, 631\u2013637.","journal-title":"J. Philos. Logic"},{"unstructured":"Aitken, W. and Barrett, J. A.: Abstraction in Algorithmic Logic (preprint).","key":"9024_CR2"},{"unstructured":"Cantini, A. (1996): Logical frameworks for truth and abstraction: An axiomatic study, North-Holland. ISBN: 0-444-82306-9.","key":"9024_CR3"},{"issue":"3","key":"9024_CR4","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1023\/A:1025159016268","volume":"74","author":"A. Cantini","year":"2003","unstructured":"Cantini, A. (2003): The undecidability of Gri $$\\breve{{\\text{s}}}$$ in's set theory, Stud. Log. 74(3), 345\u2013368.","journal-title":"Stud. Log."},{"key":"9024_CR5","doi-asserted-by":"crossref","first-page":"75","DOI":"10.2307\/2274093","volume":"49","author":"S. Feferman","year":"1984","unstructured":"Feferman, S. (1984): Toward useful type-free theories, J. Symb. Log. 49, 75\u2013111.","journal-title":"J. Symb. Log."},{"issue":"214","key":"9024_CR6","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1111\/j.0031-8094.2004.00343.x","volume":"54","author":"H. Field","year":"2004","unstructured":"Field, H. (2004): The consistency of the na\u00efve theory of properties, Philos. Q. 54(214), 78\u2013104.","journal-title":"Philos. Q."},{"doi-asserted-by":"crossref","unstructured":"Fitch, F. B. (1969): A method for avoiding the Curry paradox, in N. Rescher (ed.), Essays in Honor of Carl G. Hempel, pp. 255\u2013265.","key":"9024_CR7","DOI":"10.1007\/978-94-017-1466-2_13"},{"issue":"2","key":"9024_CR8","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1006\/inco.1998.2700","volume":"143","author":"J.-Y. Girard","year":"1998","unstructured":"Girard, J.-Y. (1998): Light linear logic, Inform. Comput. 143(2), 175\u2013204.","journal-title":"Inform. Comput."},{"unstructured":"Link, G. (ed.) (2004): One hundred years of Russell's paradox: Mathematics, logic, philosophy, de Gruyter. ISBN 3-11-017438-3.","key":"9024_CR9"},{"key":"9024_CR10","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1007\/BF00485622","volume":"60","author":"J. Myhill","year":"1984","unstructured":"Myhill, J. (1984) Paradoxes, Synthese 60, 129\u2013143.","journal-title":"Synthese"},{"issue":"1","key":"9024_CR11","doi-asserted-by":"crossref","first-page":"212","DOI":"10.2307\/2586533","volume":"65","author":"F. Orilia","year":"2000","unstructured":"Orilia, F. (2000): Property theory and the revision theory of definitions, J. Symb. Log. 65(1), 212\u2013246.","journal-title":"J. Symb. Log."},{"issue":"3","key":"9024_CR12","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1023\/A:1005293713265","volume":"64","author":"U. Petersen","year":"2000","unstructured":"Petersen, U. (2000): Logic without contraction as based on inclusion and unrestricted abstraction, Stud. Log. 64(3), 365\u2013403.","journal-title":"Stud. Log."},{"unstructured":"Restall, G. (1994): On logics without contraction, doctoral dissertation, University of Queensland.","key":"9024_CR13"},{"issue":"1","key":"9024_CR14","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1023\/B:STUD.0000034183.33333.6f","volume":"77","author":"K. Terui","year":"2004","unstructured":"Terui, K. (2004) Light affine set theory: A naive set theory of polynomial time, Stud. Log. 77(1), 9\u201340.","journal-title":"Stud. Log."},{"issue":"161\u2013163","key":"9024_CR15","first-page":"219","volume":"41","author":"A. Weir","year":"1998","unstructured":"Weir, A. (1998): Na\u00efve set theory, paraconsistency and indeterminacy. I., Log. Anal. (N.S.) 41(161\u2013163), 219\u2013266.","journal-title":"Log. Anal. (N.S.)"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-005-9024-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-005-9024-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-005-9024-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T21:29:47Z","timestamp":1559338187000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-005-9024-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,8,15]]},"references-count":15,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2006,12,27]]}},"alternative-id":["9024"],"URL":"https:\/\/doi.org\/10.1007\/s10992-005-9024-5","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"type":"print","value":"0022-3611"},{"type":"electronic","value":"1573-0433"}],"subject":[],"published":{"date-parts":[[2006,8,15]]}}}