{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T17:26:02Z","timestamp":1730222762007,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,7,1]],"date-time":"2020-07-01T00:00:00Z","timestamp":1593561600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,7,1]],"date-time":"2020-07-01T00:00:00Z","timestamp":1593561600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,7,1]],"date-time":"2020-07-01T00:00:00Z","timestamp":1593561600000},"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":[[2020,7]]},"DOI":"10.1109\/fuzz48607.2020.9177695","type":"proceedings-article","created":{"date-parts":[[2020,8,26]],"date-time":"2020-08-26T20:50:57Z","timestamp":1598475057000},"page":"1-8","source":"Crossref","is-referenced-by-count":1,"title":["First-Order Typed Fuzzy Logics and their Categorical Semantics: Linear Completeness and Baaz Translation via Lawvere Hyperdoctrine Theory"],"prefix":"10.1109","author":[{"given":"Yoshihiro","family":"Maruyama","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1023\/A:1015122331293"},{"journal-title":"Sketches of an Elephant","year":"2002","author":"johnstone","key":"ref11"},{"journal-title":"Introduction to Higher Order Categorical Logic","year":"1986","author":"lambek","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1111\/j.1746-8361.1969.tb01194.x"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"689","DOI":"10.1016\/B978-0-444-51621-3.50010-4","article-title":"The History of Categorical Logic: 1963-1977","volume":"6","author":"marquis","year":"2011","journal-title":"Handbook of The History of Logic"},{"key":"ref15","first-page":"211","article-title":"Hyperdoctrine: Categorical Semantics for First-Order Substructural Logics","volume":"8071","author":"maruyama","year":"2013","journal-title":"LNCS"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.171.10"},{"key":"ref17","article-title":"Meaning and Duality: From Categorical Logic to Quantum Physics","author":"maruyama","year":"2017","journal-title":"Ph D thesis"},{"key":"ref18","first-page":"88","article-title":"Algebraic semantics for predicate logics and their completeness","volume":"927","author":"ono","year":"1995","journal-title":"RIMS Kokyuroku"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-012-9381-3"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/S0165-0114(01)00098-7"},{"journal-title":"Stanford Encyclopedia of Philosophy","year":"2017","author":"cintula","key":"ref3"},{"key":"ref6","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5300-3","author":"h\u00e1jek","year":"1998","journal-title":"Metamathematics of Fuzzy Logic"},{"journal-title":"Residuated Lattices An Algebraic Glimpse at Substructural Logics","year":"2007","author":"galatos","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1017\/S0305004100057534"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.2178\/jsl\/1154698581"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2015.07.014"},{"journal-title":"Abstract and concrete categories","year":"1990","author":"ad\u00e1mek","key":"ref1"},{"journal-title":"Categorical Logic and Type Theory","year":"1999","author":"jacobs","key":"ref9"},{"key":"ref20","article-title":"Categorical Logic","volume":"5","author":"pitts","year":"2000","journal-title":"Handbook of Logic in Computer Science"}],"event":{"name":"2020 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)","start":{"date-parts":[[2020,7,19]]},"location":"Glasgow, United Kingdom","end":{"date-parts":[[2020,7,24]]}},"container-title":["2020 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9171991\/9177529\/09177695.pdf?arnumber=9177695","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,27]],"date-time":"2022-06-27T15:58:15Z","timestamp":1656345495000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9177695\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,7]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/fuzz48607.2020.9177695","relation":{},"subject":[],"published":{"date-parts":[[2020,7]]}}}