{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T14:58:01Z","timestamp":1771513081069,"version":"3.50.1"},"reference-count":8,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2021,8,7]],"date-time":"2021-08-07T00:00:00Z","timestamp":1628294400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,8,7]],"date-time":"2021-08-07T00:00:00Z","timestamp":1628294400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001807","name":"Funda\u00e7\u00e3o de Amparo \u00e0 Pesquisa do Estado de S\u00e3o Paulo","doi-asserted-by":"publisher","award":["2016\/25891-3"],"award-info":[{"award-number":["2016\/25891-3"]}],"id":[{"id":"10.13039\/501100001807","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001807","name":"Funda\u00e7\u00e3o de Amparo \u00e0 Pesquisa do Estado de S\u00e3o Paulo","doi-asserted-by":"publisher","award":["2019\/12527-0"],"award-info":[{"award-number":["2019\/12527-0"]}],"id":[{"id":"10.13039\/501100001807","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2022,2]]},"DOI":"10.1007\/s11225-021-09959-w","type":"journal-article","created":{"date-parts":[[2021,8,7]],"date-time":"2021-08-07T20:02:45Z","timestamp":1628366565000},"page":"189-218","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["$$\\mathrm {ZF}$$ Between Classicality and Non-classicality"],"prefix":"10.1007","volume":"110","author":[{"given":"Sourav","family":"Tarafder","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9089-4340","authenticated-orcid":false,"given":"Giorgio","family":"Venturi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,8,7]]},"reference":[{"key":"9959_CR1","unstructured":"Bell, J., Set theory. Boolean valued models and independence proofs, Oxford Science Publications, 2005."},{"key":"9959_CR2","first-page":"329","volume":"25","author":"A Blass","year":"1977","unstructured":"Blass, A., A model without ultrafilters,\u00a0Bulletin of the Polish Academy of Sciences 25:329\u2013331, 1977.","journal-title":"Bulletin of the Polish Academy of Sciences"},{"key":"9959_CR3","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1007\/s11225-020-09915-0","volume":"109","author":"S Jockwich-Martinez","year":"2021","unstructured":"Jockwich-Martinez, S., and G.\u00a0Venturi, Non-classical models of $${{\\rm ZF}}$$,\u00a0Studia Logica 109:509\u2013537, 2021.","journal-title":"Studia Logica"},{"key":"9959_CR4","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1007\/s10992-020-09576-3","volume":"50","author":"S Jockwich-Martinez","year":"2021","unstructured":"Jockwich-Martinez, S., and G.\u00a0Venturi, On negation for non-classical set theories,\u00a0Journal of Philosophical Logic 50:549\u2013570, 2021.","journal-title":"Journal of Philosophical Logic"},{"key":"9959_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/s00012-021-00735-4","volume-title":"Constructing illoyal algebra-valued models of set theory","author":"B L\u00f6we","year":"2021","unstructured":"L\u00f6we, B., R.\u00a0Passmann, and S.\u00a0Tarafder, Constructing illoyal algebra-valued models of set theory,\u00a0Algebra Universalis, Accepted, 2021."},{"issue":"1","key":"9959_CR6","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1017\/S175502031400046X","volume":"8","author":"B L\u00f6we","year":"2015","unstructured":"L\u00f6we, B., and S.\u00a0Tarafder, Generalized algebra-valued models of set theory, Review of Symbolic Logic 8(1):192\u2013205, 2015.","journal-title":"Review of Symbolic Logic"},{"key":"9959_CR7","doi-asserted-by":"crossref","unstructured":"Tarafder, S., and M.\u00a0K. Chakraborty, A paraconsistent logic obtained from an algebra-valued model of set theory, in J.\u00a0Y. Beziau, M.\u00a0K. Chakraborty, and S.\u00a0Dutta, (eds.),\u00a0New Directions in Paraconsistent Logic, 5th WCP, Springer, New Delhi, 2016, pp. 165\u2013183.","DOI":"10.1007\/978-81-322-2719-9_7"},{"issue":"10","key":"9959_CR8","first-page":"3427","volume":"4","author":"M Viale","year":"2017","unstructured":"Viale, M., Useful axioms,\u00a0Ifcolog Journal of Logics and their Applications 4(10):3427\u20133462, 2017.","journal-title":"Ifcolog Journal of Logics and their Applications"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-021-09959-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-021-09959-w\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-021-09959-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,2,1]],"date-time":"2022-02-01T18:23:57Z","timestamp":1643739837000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-021-09959-w"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,8,7]]},"references-count":8,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2022,2]]}},"alternative-id":["9959"],"URL":"https:\/\/doi.org\/10.1007\/s11225-021-09959-w","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,8,7]]},"assertion":[{"value":"7 August 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}