{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T07:09:08Z","timestamp":1745996948507},"reference-count":12,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,7,11]],"date-time":"2021-07-11T00:00:00Z","timestamp":1625961600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,7,11]],"date-time":"2021-07-11T00:00:00Z","timestamp":1625961600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,7,11]],"date-time":"2021-07-11T00:00:00Z","timestamp":1625961600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,7,11]]},"DOI":"10.1109\/fuzz45933.2021.9494547","type":"proceedings-article","created":{"date-parts":[[2021,8,5]],"date-time":"2021-08-05T20:38:44Z","timestamp":1628195924000},"page":"1-6","source":"Crossref","is-referenced-by-count":1,"title":["Towards an Algebraic Topos Semantics for Three-valued G\u00f6del Logic"],"prefix":"10.1109","author":[{"given":"Stefano","family":"Aguzzoli","sequence":"first","affiliation":[]},{"given":"Pietro","family":"Codara","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exp054"},{"key":"ref3","first-page":"201","article-title":"Recursive Formulas to Compute Coproducts of Finite Gödel Algebras and Related Structures","author":"aguzzoli","year":"2016","journal-title":"Proceedings of FUZZ-IEEE 2016"},{"journal-title":"Topoi The Categorial Analysis of Logic","year":"1984","author":"goldblatt","key":"ref10"},{"key":"ref6","first-page":"1886","article-title":"Defuzzifying formulas in Gdel logic through finitely additive measures","author":"aguzzoli","year":"2008","journal-title":"Proceedings of FUZZ IEEE 2008"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-5300-3"},{"journal-title":"Finite forests their algebras and logics","year":"0","author":"aguzzoli","key":"ref5"},{"journal-title":"Stone Spaces","year":"1986","author":"johnstone","key":"ref12"},{"journal-title":"Handbook of Categorical Algebra","year":"1984","author":"borceux","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-008-9142-5"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijar.2018.10.016"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/S0165-0114(01)00098-7"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/FUZZ48607.2020.9177714"}],"event":{"name":"2021 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)","start":{"date-parts":[[2021,7,11]]},"location":"Luxembourg, Luxembourg","end":{"date-parts":[[2021,7,14]]}},"container-title":["2021 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9494373\/9494343\/09494547.pdf?arnumber=9494547","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T15:43:43Z","timestamp":1652197423000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9494547\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,7,11]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/fuzz45933.2021.9494547","relation":{},"subject":[],"published":{"date-parts":[[2021,7,11]]}}}