{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,13]],"date-time":"2025-09-13T15:39:45Z","timestamp":1757777985286,"version":"3.28.0"},"reference-count":37,"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.9494453","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":2,"title":["Higher-Order Fuzzy Logics and their Categorical Semantics: Higher-Order Linear Completeness and Baaz Translation via Substructural Tripos Theory"],"prefix":"10.1109","author":[{"given":"Yoshihiro","family":"Maruyama","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","first-page":"2","article-title":"Categorical Logic","volume":"5","author":"pitts","year":"2000","journal-title":"Handbook of Logic in Computer Science"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/0165-0114(82)90034-3"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-012-9381-3"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2018.06.011"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2009.06.013"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/BF01270392"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1016\/0165-0114(91)90085-5"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1017\/S096012950200364X"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.2307\/2266967"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1017\/S0305004100057534"},{"journal-title":"Categorical Logic and Type Theory","year":"1999","author":"jacobs","key":"ref12"},{"journal-title":"Sketches of an Elephant","year":"2002","author":"johnstone","key":"ref13"},{"journal-title":"Introduction to Higher Order Categorical Logic","year":"1986","author":"lambek","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1111\/j.1746-8361.1969.tb01194.x"},{"key":"ref16","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":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2010.05.002"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpaa.2011.07.002"},{"key":"ref19","first-page":"211","volume":"8071","author":"maruyama","year":"2013","journal-title":"Full Lambek Hyperdoctrine"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1080\/00927872.2020.1721520"},{"key":"ref4","article-title":"Fuzzy Class Theory: some advanced topics","author":"cintula","year":"0","journal-title":"proceedings of EUSFLAT"},{"key":"ref27","article-title":"First -Order Typed Fuzzy Logics and their Categorical Semantics","author":"maruyama","year":"0","journal-title":"Proceedings of FUZZ-IEEE"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2004.12.010"},{"journal-title":"Residuated Lattices An Algebraic Glimpse at Substructural Logics","year":"2007","author":"galatos","key":"ref6"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2004.03.027"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/S0165-0114(01)00098-7"},{"key":"ref8","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5300-3","author":"hajek","year":"1998","journal-title":"Metamathematics of Fuzzy Logic"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/0165-0114(87)90097-2"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.4153\/CMB-1986-079-9"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.2178\/jsl\/1154698581"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2013.06.004"},{"key":"ref20","first-page":"500","article-title":"Categorical Duality Theory","volume":"23","author":"maruyama","year":"2013","journal-title":"LIPIcs"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-22686-6_6"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.171.10"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-015-0932-9"},{"key":"ref23","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1007\/978-3-319-26485-1_8","article-title":"AI, Quantum Information, and External Semantic Realism","volume":"376","author":"maruyama","year":"2016","journal-title":"Synthese Library"},{"key":"ref26","first-page":"187","volume":"12062","author":"maruyama","year":"2020","journal-title":"Higher-Order Categorical Substructural Logic"},{"journal-title":"Meaning and Duality From Categorical Logic to Quantum Physics","year":"2017","author":"maruyama","key":"ref25"}],"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\/09494453.pdf?arnumber=9494453","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,6]],"date-time":"2023-01-06T18:07:37Z","timestamp":1673028457000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9494453\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,7,11]]},"references-count":37,"URL":"https:\/\/doi.org\/10.1109\/fuzz45933.2021.9494453","relation":{},"subject":[],"published":{"date-parts":[[2021,7,11]]}}}