{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,11]],"date-time":"2026-02-11T13:19:28Z","timestamp":1770815968894,"version":"3.50.1"},"reference-count":19,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2015,1,12]],"date-time":"2015-01-12T00:00:00Z","timestamp":1421020800000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Rev. symb. logic"],"published-print":{"date-parts":[[2015,3]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We generalize the construction of lattice-valued models of set theory due to Takeuti, Titani, Kozawa and Ozawa to a wider class of algebras and show that this yields a model of a paraconsistent logic that validates all axioms of the negation-free fragment of Zermelo-Fraenkel set theory.<\/jats:p>","DOI":"10.1017\/s175502031400046x","type":"journal-article","created":{"date-parts":[[2015,1,12]],"date-time":"2015-01-12T07:56:50Z","timestamp":1421049410000},"page":"192-205","source":"Crossref","is-referenced-by-count":24,"title":["GENERALIZED ALGEBRA-VALUED MODELS OF SET THEORY"],"prefix":"10.1017","volume":"8","author":[{"given":"BENEDIKT","family":"L\u00d6WE","sequence":"first","affiliation":[]},{"given":"SOURAV","family":"TARAFDER","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2015,1,12]]},"reference":[{"key":"S175502031400046X_ref10","doi-asserted-by":"publisher","DOI":"10.2178\/jsl\/1185803627"},{"key":"S175502031400046X_ref5","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzt026"},{"key":"S175502031400046X_ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s001530050134"},{"key":"S175502031400046X_ref11","unstructured":"Ozawa M . (2009). Orthomodular-valued models for quantum set theory. Preprint, arXiv 0908.0367."},{"key":"S175502031400046X_ref14","first-page":"15","volume-title":"Logic and Its Applications, 6th International Conference, ICLA 2015, Mumbai, India, January 8\u201310, 2015, Proceedings","volume":"8923","author":"Tarafder","year":"2015"},{"key":"S175502031400046X_ref12","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093634406"},{"key":"S175502031400046X_ref6","first-page":"402","volume-title":"Applications of Sheaves, Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra and Analysis held at the University of Durham, Durham, July 9\u201321, 1977","volume":"753","author":"Grayson","year":"1979"},{"key":"S175502031400046X_ref1","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198568520.001.0001"},{"key":"S175502031400046X_ref18","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020309990281"},{"key":"S175502031400046X_ref17","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-010-9225-y"},{"key":"S175502031400046X_ref9","first-page":"39","volume-title":"Essays on the Foundations of Mathematics and Logic","volume":"2","author":"Marcos","year":"2005"},{"key":"S175502031400046X_ref16","doi-asserted-by":"publisher","DOI":"10.1023\/B:IJTP.0000005977.55748.e4"},{"key":"S175502031400046X_ref3","doi-asserted-by":"crossref","first-page":"415","DOI":"10.2307\/j.ctv2x8v8c7.18","volume-title":"Paraconsistent Logic: Essays on the Inconsistent","author":"Brady","year":"1989"},{"key":"S175502031400046X_ref4","doi-asserted-by":"publisher","DOI":"10.1201\/9780203910139"},{"key":"S175502031400046X_ref13","doi-asserted-by":"publisher","DOI":"10.1007\/BF01270392"},{"key":"S175502031400046X_ref8","unstructured":"Marcos J . (2000). 8k solutions and semi-solutions to a problem of da Costa. Unpublished."},{"key":"S175502031400046X_ref2","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093894366"},{"key":"S175502031400046X_ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-007-4438-7_17"},{"key":"S175502031400046X_ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2004.07.010"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S175502031400046X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,31]],"date-time":"2023-07-31T19:55:21Z","timestamp":1690833321000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S175502031400046X\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,1,12]]},"references-count":19,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2015,3]]}},"alternative-id":["S175502031400046X"],"URL":"https:\/\/doi.org\/10.1017\/s175502031400046x","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"value":"1755-0203","type":"print"},{"value":"1755-0211","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,1,12]]}}}