{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T17:30:47Z","timestamp":1730223047949,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,8]]},"DOI":"10.1109\/fuzz-ieee.2015.7337929","type":"proceedings-article","created":{"date-parts":[[2015,11,30]],"date-time":"2015-11-30T16:54:50Z","timestamp":1448902490000},"page":"1-8","source":"Crossref","is-referenced-by-count":0,"title":["Heyting algebras with indiscernibility relations"],"prefix":"10.1109","author":[{"given":"Tommaso","family":"Flaminio","sequence":"first","affiliation":[]},{"given":"Brunella","family":"Gerla","sequence":"additional","affiliation":[]},{"given":"Francesco","family":"Marigo","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"254","volume":"283","author":"galatos","year":"2005","journal-title":"Generalized MV-Algebras"},{"key":"ref11","first-page":"557","volume":"11","author":"jenca","year":"2007","journal-title":"A Representation Theorem for MV-Algebras"},{"key":"ref12","first-page":"226","article-title":"Algebra Universalis","volume":"55","author":"jipsen","year":"2006","journal-title":"On the Structure of Generalized BL-Algebras"},{"key":"ref13","first-page":"381","article-title":"Algebra Universalis","volume":"60","author":"jipsen","year":"2009","journal-title":"The Blok-Ferreirim Theorem for Normal GBL-Algebras and its Applications"},{"key":"ref14","first-page":"19","author":"jipsen","year":"2002","journal-title":"A Survey on Residuated Lattices"},{"key":"ref15","first-page":"51","article-title":"Journal of Multiple-Valued Logic and Soft Computing","volume":"14","author":"vetterlein","year":"2008","journal-title":"Boolean Algebras with an Automorphism Group a Framework for Lukasiewicz Logic"},{"key":"ref16","first-page":"407","article-title":"Studia Logica","volume":"90","author":"vetterlein","year":"2008","journal-title":"A Way to Interpret Lukasiewicz Logic and Basic Logic"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpaa.2003.10.021"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1215\/S0012-7094-37-00334-X"},{"journal-title":"Introduction to Lattices and Order","year":"1990","author":"davey","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/GRC.2011.6122584"},{"key":"ref8","first-page":"93","volume":"269","author":"di nola","year":"2003","journal-title":"Finite BL-Algebras"},{"key":"ref7","first-page":"395","article-title":"Logic Journal of the IGLP","volume":"17","author":"di nola","year":"2009","journal-title":"The Category of MV-Pairs"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-92687-0_1"},{"key":"ref1","first-page":"105","article-title":"Journal of Pure and Applied Algebra","volume":"181","author":"aglian\u00f2","year":"2003","journal-title":"Varieties of BL-algebras I General Properties"},{"key":"ref9","first-page":"305","article-title":"Witnessed Years: Essays in Honour of Petr Hajek","author":"galatos","year":"2009","journal-title":"A Survey of Generalized Basic Logic Algebras"}],"event":{"name":"2015 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)","start":{"date-parts":[[2015,8,2]]},"location":"Istanbul, Turkey","end":{"date-parts":[[2015,8,5]]}},"container-title":["2015 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7329077\/7337796\/07337929.pdf?arnumber=7337929","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,24]],"date-time":"2017-03-24T22:05:01Z","timestamp":1490393101000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7337929\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,8]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/fuzz-ieee.2015.7337929","relation":{},"subject":[],"published":{"date-parts":[[2015,8]]}}}