{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T11:54:47Z","timestamp":1775044487781,"version":"3.50.1"},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2020,10,22]],"date-time":"2020-10-22T00:00:00Z","timestamp":1603324800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,10,22]],"date-time":"2020-10-22T00:00:00Z","timestamp":1603324800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001807","name":"FAPESP","doi-asserted-by":"crossref","award":["2016\/25891-3"],"award-info":[{"award-number":["2016\/25891-3"]}],"id":[{"id":"10.13039\/501100001807","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100001807","name":"FAPESP","doi-asserted-by":"crossref","award":["2017\/23853-0"],"award-info":[{"award-number":["2017\/23853-0"]}],"id":[{"id":"10.13039\/501100001807","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2021,6]]},"DOI":"10.1007\/s10992-020-09576-3","type":"journal-article","created":{"date-parts":[[2020,10,22]],"date-time":"2020-10-22T10:02:46Z","timestamp":1603360966000},"page":"549-570","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["On Negation for Non-classical Set Theories"],"prefix":"10.1007","volume":"50","author":[{"given":"S.","family":"Jockwich Martinez","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9089-4340","authenticated-orcid":false,"given":"G.","family":"Venturi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,10,22]]},"reference":[{"key":"9576_CR1","volume-title":"Logical pluralism","author":"J Beall","year":"2006","unstructured":"Beall, J., & Restall, G. (2006). Logical pluralism. Oxford: Oxford University Press."},{"issue":"495","key":"9576_CR2","doi-asserted-by":"publisher","first-page":"761","DOI":"10.1093\/mind\/fzv026","volume":"124","author":"F Berto","year":"2015","unstructured":"Berto, F. (2015). A modality called \u201cNegation\u201d. Mind, 124(495), 761\u2013793.","journal-title":"Mind"},{"key":"9576_CR3","first-page":"1","volume":"1","author":"F Berto","year":"2019","unstructured":"Berto, F., & Restall, G. (2019). Negation on the australian plan. Journal of Philosophical Logic, 1, 1\u201326.","journal-title":"Journal of Philosophical Logic"},{"issue":"4","key":"9576_CR4","doi-asserted-by":"publisher","first-page":"823","DOI":"10.2307\/1968621","volume":"37","author":"G Birkhoff","year":"1936","unstructured":"Birkhoff, G., & Neumann, J.V. (1936). The logic of quantum mechanics. Annals of Mathematics, 37(4), 823\u2013843.","journal-title":"Annals of Mathematics"},{"key":"9576_CR5","doi-asserted-by":"crossref","unstructured":"Burris, S., & Sankappanavar, S. (1981). A course in universal algebra. The millennium edition.","DOI":"10.1007\/978-1-4613-8130-3"},{"issue":"2","key":"9576_CR6","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/s10992-017-9427-0","volume":"47","author":"M De","year":"2018","unstructured":"De, M., & Omori, H. (2018). There is more to negation than modality. Journal of Philosophical Logic, 47(2), 281\u2013299.","journal-title":"Journal of Philosophical Logic"},{"key":"9576_CR7","first-page":"23","volume-title":"A comparatives study of various model-theoretic treatments of negation: a history of formal negation","author":"JM Dunn","year":"1999","unstructured":"Dunn, J.M. (1999). A comparatives study of various model-theoretic treatments of negation: a history of formal negation, (pp. 23\u201351). Netherlands: Springer."},{"key":"9576_CR8","unstructured":"Jockwich, S., & Venturi, G. (2020). Non-classical models of ZF. Studia Logica."},{"key":"9576_CR9","unstructured":"L\u00f6we, B., Passmann, R., & Tarafder, S. Constructing illoyal algebra-valued models of set theory. Preprint."},{"issue":"1","key":"9576_CR10","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1017\/S175502031400046X","volume":"8","author":"B L\u00f6we","year":"2015","unstructured":"L\u00f6we, B., & Tarafder, S. (2015). Generalized algebra-valued models of set theory. Review of Symbolic Logic, 8(1), 192\u2013205.","journal-title":"Review of Symbolic Logic"},{"issue":"3","key":"9576_CR11","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/BF00248574","volume":"15","author":"RK Meyer","year":"1986","unstructured":"Meyer, R.K., & Martin, E.P. (1986). Logic on the australian plan. Journal of Philosophical Logic, 15(3), 305\u2013332.","journal-title":"Journal of Philosophical Logic"},{"key":"9576_CR12","unstructured":"Passmann, R. (2018). Loyalty and faithfulness of model constructions for constructive set theory. Master\u2019s thesis University of Amsterdam."},{"key":"9576_CR13","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511801174","volume-title":"An introduction to non-classical logic: from if to is","author":"G Priest","year":"2008","unstructured":"Priest, G. (2008). An introduction to non-classical logic: from if to is. Cambridge: Cambridge University Press."},{"key":"9576_CR14","doi-asserted-by":"crossref","unstructured":"Restall, G. (2013). Assertion, denial and non-classical theories. In Berto, F., Mares, E., Tanaka, K., & Paoli, F. (Eds.), Paraconsistency: logic and applications (pp. 81\u201399). Springer.","DOI":"10.1007\/978-94-007-4438-7_6"},{"issue":"4","key":"9576_CR15","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1007\/BF01048355","volume":"24","author":"BH Slater","year":"1995","unstructured":"Slater, B.H. (1995). Paraconsistent logics? Journal of Philosophical Logic, 24(4), 451\u2013454.","journal-title":"Journal of Philosophical Logic"},{"issue":"1","key":"9576_CR16","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1111\/j.1758-2237.2002.tb00067.x","volume":"12","author":"AC Varzi","year":"2002","unstructured":"Varzi, A.C. (2002). On logical relativity. Philosophical Issues, 12(1), 197\u2013219.","journal-title":"Philosophical Issues"},{"key":"9576_CR17","doi-asserted-by":"publisher","first-page":"341","DOI":"10.3166\/jancl.18.341-364","volume":"18","author":"H Wansing","year":"2008","unstructured":"Wansing, H. (2008). Constructive negation, implication, and co-implication. Journal of Applied Non-Classical Logics, 18, 341\u2013364.","journal-title":"Journal of Applied Non-Classical Logics"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-020-09576-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10992-020-09576-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-020-09576-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,21]],"date-time":"2021-10-21T23:44:02Z","timestamp":1634859842000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10992-020-09576-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10,22]]},"references-count":17,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2021,6]]}},"alternative-id":["9576"],"URL":"https:\/\/doi.org\/10.1007\/s10992-020-09576-3","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,10,22]]},"assertion":[{"value":"27 October 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 September 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 October 2020","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}