{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,8]],"date-time":"2025-09-08T06:29:02Z","timestamp":1757312942738},"reference-count":48,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2010,1,20]],"date-time":"2010-01-20T00:00:00Z","timestamp":1263945600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2010,2]]},"DOI":"10.1007\/s11225-010-9225-y","type":"journal-article","created":{"date-parts":[[2010,1,19]],"date-time":"2010-01-19T17:21:42Z","timestamp":1263921702000},"page":"87-104","source":"Crossref","is-referenced-by-count":26,"title":["Extensionality and Restriction in Naive Set Theory"],"prefix":"10.1007","volume":"94","author":[{"given":"Zach","family":"Weber","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,1,20]]},"reference":[{"key":"9225_CR1","doi-asserted-by":"crossref","unstructured":"Asmus, Conrad, \u2018Restricted Arrow\u2019, Journal of Philosophical Logic, 38(4), 2009.","DOI":"10.1007\/s10992-008-9094-2"},{"key":"9225_CR2","doi-asserted-by":"crossref","unstructured":"Austin, David F., (ed.), Philosophical Analysis, Kluwer, 1988.","DOI":"10.1007\/978-94-009-2909-8"},{"key":"9225_CR3","unstructured":"Batens, D., C. Mortensen, G. Priest, and J.-P. van Bendegem, (eds.), Frontiers of Paraconsistent Logic, Kluwer Academic Publishers, 2000."},{"key":"9225_CR4","doi-asserted-by":"crossref","first-page":"587","DOI":"10.1007\/s10992-005-9008-5","volume":"35","author":"J.C. Beall","year":"2006","unstructured":"Beall, J.C., R. T. Brady, A.P. Hazen, G. Priest, and G. Restall, \u2018Relevant restricted quantification\u2019, Journal of Philosophical Logic, 35:587\u2013598, 2006.","journal-title":"Journal of Philosophical Logic"},{"issue":"2","key":"9225_CR5","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1080\/00048400801886199","volume":"86","author":"Francesco Bero","year":"2008","unstructured":"Bero, Francesco, \u2018Adunaton and material exclusion\u2019, Australasian Journal of Philosophy, 86(2):165\u2013190, 2008.","journal-title":"Australasian Journal of Philosophy"},{"key":"9225_CR6","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1305\/ndjfl\/1093894366","volume":"12","author":"Ross Brady","year":"1971","unstructured":"Brady, Ross, \u2018The consistency of the axioms of the axioms of abstraction and extensionality in a three valued logic\u2019, Notre Dame Journal of Formal Logic, 12:447\u2013453, 1971.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9225_CR7","unstructured":"Brady, Ross, Universal Logic, CSLI, 2006."},{"key":"9225_CR8","doi-asserted-by":"crossref","unstructured":"Brady, Ross T., \u2018The non-triviality of dialectical set theory\u2019, in Priest et\u00a0al. [38], pp. 437\u2013470.","DOI":"10.2307\/j.ctv2x8v8c7.19"},{"key":"9225_CR9","doi-asserted-by":"crossref","unstructured":"Brady, Ross T., and Richard Routley, \u2018The non-triviality of extensional dialectical set theory\u2019, in Priest et\u00a0al. [38], pp. 415\u2013436.","DOI":"10.2307\/j.ctv2x8v8c7.18"},{"key":"9225_CR10","unstructured":"Cantor, Georg, \u2018Letter to Dedekind\u2019, in van Heijenoort [44]."},{"key":"9225_CR11","doi-asserted-by":"crossref","first-page":"9","DOI":"10.7146\/math.scand.a-10685","volume":"13","author":"C.C. Chang","year":"1963","unstructured":"Chang, C.C., \u2018The axiom of comprehension in infinite valued logic\u2019, Math. Scand., 13:9\u201330, 1963.","journal-title":"Math. Scand."},{"key":"9225_CR12","doi-asserted-by":"crossref","first-page":"115","DOI":"10.2307\/2269292","volume":"7","author":"Haskell B. Curry","year":"1942","unstructured":"Curry, Haskell B., \u2018The inconsistency of certain formal logics\u2019, Journal of Symbolic Logic, 7:115\u2013117, 1942.","journal-title":"Journal of Symbolic Logic"},{"key":"9225_CR13","unstructured":"da Costa, Newton, \u2018Paraconsistent mathematics\u2019, in Batens et\u00a0al. [3], pp. 165\u2013180."},{"key":"9225_CR14","doi-asserted-by":"crossref","unstructured":"Dunn, J. Michael, \u2018The impossibility of certain higher-order non-classical logics with extensionality\u2019, in Austin [2], pp. 261\u2013280.","DOI":"10.1007\/978-94-009-2909-8_16"},{"key":"9225_CR15","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1007\/BF00431183","volume":"16","author":"Michael Dunn J.","year":"1987","unstructured":"Dunn, J. Michael, \u2018Relevant predication 1: The formal theory\u2019, Journal of Philosophical Logic, 16:347\u2013381, 1987.","journal-title":"Journal of Philosophical Logic"},{"key":"9225_CR16","doi-asserted-by":"crossref","unstructured":"Dunn, J. Michael, and Greg Restall. \u2018Relevance logic\u2019, in Dov M. Gabbay and Franz G\u00fcnthner, (eds.), Handbook of Philosophical Logic, 2nd Edition, volume 6, Kluwer, 2002, pp. 1\u2013128.","DOI":"10.1007\/978-94-017-0460-1_1"},{"key":"9225_CR17","unstructured":"Forster, Thomas, \u2018Axiomatising set theory with a universal set\u2019, 1982. Typeset 1997."},{"key":"9225_CR18","doi-asserted-by":"crossref","unstructured":"Gilmore, Paul C., \u2018The consistency of partial set theory without extensionality\u2019, in Jech [21], pp. 147\u2013153.","DOI":"10.1090\/pspum\/013.2\/0360271"},{"key":"9225_CR19","unstructured":"G\u00f6del, Kurt, \u2018What is Cantor\u2019s continuum problem?\u2019, in P. Benacerraf and H. Putnam, (eds.),Philosophy of Mathematics, Cambridge, 1964, pp. 258\u2013273."},{"key":"9225_CR20","unstructured":"Hallett, Michael, Cantorian Set Theory and Limitation of Size, Oxford Logic Guides, 1984."},{"key":"9225_CR21","unstructured":"Jech, Thomas, (ed.), Axiomatic Set Theory, American Mathematical Society, 1974."},{"key":"9225_CR22","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1023\/A:1004323917968","volume":"28","author":"Philip Kremer","year":"1999","unstructured":"Kremer, Philip, \u2018Relevant identity, Journal of Philosophical Logic, 28:199\u2013222, 1999.","journal-title":"Journal of Philosophical Logic"},{"key":"9225_CR23","doi-asserted-by":"crossref","unstructured":"Libert, Thierry, \u2018Models for paraconsistent set theory\u2019, Journal of Applied Logic, 3, 2004.","DOI":"10.1016\/j.jal.2004.07.010"},{"key":"9225_CR24","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00370329","volume":"51","author":"Edwin Mares","year":"1992","unstructured":"Mares, Edwin, \u2018Semantics for relevant logic with identity\u2019, Studia Logica, 51:1\u201320, 1992.","journal-title":"Studia Logica"},{"key":"9225_CR25","doi-asserted-by":"crossref","unstructured":"Mares, Edwin, Relevant Logic, Cambridge, 2004.","DOI":"10.1017\/CBO9780511520006"},{"key":"9225_CR26","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1093\/analys\/39.3.124","volume":"39","author":"Robert K. Meyer","year":"1978","unstructured":"Meyer, Robert K., Richard Routley, and J. Michael Dunn, \u2018Curry\u2019s paradox\u2019, Analysis, 39:124\u2013128, 1978.","journal-title":"Analysis"},{"key":"9225_CR27","doi-asserted-by":"crossref","unstructured":"Mortensen, Chris, Inconsistent Mathematics, Kluwer Academic Publishers, 1995.","DOI":"10.1007\/978-94-015-8453-1"},{"key":"9225_CR28","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1023\/A:1005293713265","volume":"64","author":"Uwe Petersen","year":"2000","unstructured":"Petersen, Uwe, \u2018Logic without contraction as based on inclusion and unrestriced abstraction\u2019, Studia Logica, 64:365\u2013403, 2000.","journal-title":"Studia Logica"},{"key":"9225_CR29","first-page":"415","volume":"9","author":"Graham Priest","year":"1980","unstructured":"Priest, Graham, \u2018Sense, entailment and Modus Ponens\u2019, Journal of Philosophical Logic, 9:415\u2013435, 1980.","journal-title":"Journal of Philosophical Logic"},{"key":"9225_CR30","doi-asserted-by":"crossref","unstructured":"Priest, Graham, In Contradiction: A Study of the Transconsistent, Martinus Nijhoff, The Hague, 1987.","DOI":"10.1007\/978-94-009-3687-4"},{"key":"9225_CR31","doi-asserted-by":"crossref","unstructured":"Priest, Graham, \u2018Reductio ad absurdum et modus tollendo ponens\u2019, in Priest et\u00a0al. [38], pp. 613\u2013626.","DOI":"10.2307\/j.ctv2x8v8c7.24"},{"key":"9225_CR32","doi-asserted-by":"crossref","unstructured":"Priest, Graham, \u2018Is arithmetic consistent?\u2019, Mind, 103, 1994,","DOI":"10.1093\/mind\/103.411.337"},{"key":"9225_CR33","doi-asserted-by":"crossref","unstructured":"Priest, Graham, \u2018Paraconsistent logic\u2019, in Dov M. Gabbay and Franz G\u00fcnthner, (eds.), Handbook of Philosophical Logic, 2nd Edition, volume 6, pp. 287\u2013394, Kluwer, 2002.","DOI":"10.1007\/978-94-017-0460-1_4"},{"key":"9225_CR34","doi-asserted-by":"crossref","unstructured":"Priest, Graham, Doubt Truth Be A Liar, Oxford, 2006.","DOI":"10.1093\/0199263280.001.0001"},{"key":"9225_CR35","doi-asserted-by":"crossref","unstructured":"Priest, Graham, In Contradiction: A Study of the Transconsistent, Oxford, 2006, Second expanded edition of [30].","DOI":"10.1093\/acprof:oso\/9780199263301.003.0015"},{"key":"9225_CR36","doi-asserted-by":"crossref","unstructured":"Priest, Graham, An Introduction to Non-Classical Logic, Cambridge, 2008. Second edition.","DOI":"10.1017\/CBO9780511801174"},{"key":"9225_CR37","doi-asserted-by":"crossref","unstructured":"Priest, Graham, and Richard Routley, \u2018Systems of paraconsistent logic\u2019, in Priest et\u00a0al. [38], pp. 151\u2013186.","DOI":"10.2307\/j.ctv2x8v8c7.8"},{"key":"9225_CR38","doi-asserted-by":"crossref","unstructured":"Priest, Graham, Richard Routley, and Jean Norman, (eds.), Paraconsistent Logic: Essays on the Inconsistent, Philosophia Verlag, 1989.","DOI":"10.2307\/j.ctv2x8v8c7"},{"issue":"1","key":"9225_CR39","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1023\/A:1016391109231","volume":"71","author":"Susan Rogerson","year":"2002","unstructured":"Rogerson, Susan and Sam Butchart, \u2018Na\u00efve comprehension and contracting implications\u2019, Studia Logica, 71(1):119\u2013132, 2002.","journal-title":"Studia Logica"},{"key":"9225_CR40","unstructured":"Routley, Richard, \u2018Ultralogic as universal?\u2019, Relevance Logic Newsletter, 2:51\u201389, 1977, Reprinted in [41]."},{"key":"9225_CR41","unstructured":"Routley, Richard, Exploring Meinong\u2019s Jungle and Beyond, Philosophy Department, RSSS, Australian National University, 1980, Interim Edition, Departmental Monograph number 3."},{"key":"9225_CR42","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00832085","volume":"16","author":"Richard Routley","year":"1976","unstructured":"Routley, Richard, and Robert K. Meyer, \u2018Dialectical logic, classical logic and the consistency of the world\u2019, Studies in Soviet Thought, 16:1\u201325, 1976.","journal-title":"Studies in Soviet Thought"},{"key":"9225_CR43","doi-asserted-by":"crossref","unstructured":"Slaney, J. K., \u2018RWX is not curry-paraconsistent\u2019, in Priest et\u00a0al. [38], pp. 472\u2013480.","DOI":"10.2307\/j.ctv2x8v8c7.20"},{"key":"9225_CR44","unstructured":"van Heijenoort, Jean, (ed.), From Frege to G\u00f6del: A source book in mathematical logic, 1879\u20131931, Harvard University Press, Cambridge, Mass., 1967."},{"key":"9225_CR45","doi-asserted-by":"crossref","unstructured":"Weber, Zach, \u2018Transfinite Numbers in Paraconsistent Set Theory\u2019, Review of Symbolic Logic, 3(1), 2010.","DOI":"10.1017\/S1755020309990281"},{"key":"9225_CR46","unstructured":"Weyl, Herman, The Continuum, Dover, 1919."},{"key":"9225_CR47","first-page":"503","volume":"8","author":"Richard White","year":"1979","unstructured":"White, Richard, \u2018The consistency of the axiom of comprehension in the infinite valued predicate logic of \u0141ukasiewicz\u2019, Journal of Philosophical Logic 8:503\u2013534, 1979.","journal-title":"Journal of Philosophical Logic"},{"key":"9225_CR48","unstructured":"Zalta, Ed, \u2018Frege\u2019s theorem\u2019, Stanford Encyclopedia of Philosophy, 2007."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-010-9225-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-010-9225-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-010-9225-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,29]],"date-time":"2023-05-29T17:27:56Z","timestamp":1685381276000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-010-9225-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,1,20]]},"references-count":48,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2010,2]]}},"alternative-id":["9225"],"URL":"https:\/\/doi.org\/10.1007\/s11225-010-9225-y","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,1,20]]}}}