{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T20:57:16Z","timestamp":1729630636177,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/ismvl.2004.1319919","type":"proceedings-article","created":{"date-parts":[[2004,9,28]],"date-time":"2004-09-28T13:50:22Z","timestamp":1096379422000},"page":"49-54","source":"Crossref","is-referenced-by-count":5,"title":["Automata over MV-algebras [many-valued logic]"],"prefix":"10.1109","author":[{"given":"B.","family":"Gerla","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1090\/conm\/377\/06988"},{"key":"ref3","first-page":"291","article-title":"Representation and reticulation by quotients of MV-algebras","volume":"40","author":"di nola","year":"1991","journal-title":"Ricerche di Matematica"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0017135"},{"key":"ref6","first-page":"467","article-title":"Many valued logics and semirings","volume":"5","author":"gerla","year":"2003","journal-title":"Neural Net World"},{"key":"ref11","first-page":"1","article-title":"Fuzzy Turing Machines revised. Computing and Information","volume":"21","author":"wiedermann","year":"2002"},{"journal-title":"Automata Languages and Machines","year":"1974","author":"eilenberg","key":"ref5"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9904-1934-06003-8"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511662508.005"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1007\/s005000050043","article-title":"Basic fuzzy logic and BL-algebras","volume":"2","author":"h\u00e1jek","year":"1998","journal-title":"Soft Computing"},{"key":"ref2","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-9480-6","author":"cignoli","year":"2000","journal-title":"Algebraic Foundations of many-valued reasoning volume 7 of Trends in Logic"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(68)90864-4"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1958-0094302-9"}],"event":{"name":"Proceedings. 34th International Symposium on Multiple-Valued Logic","acronym":"ISMVL-04","location":"Toronto, Ont., Canada"},"container-title":["Proceedings. 34th International Symposium on Multiple-Valued Logic"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9226\/29244\/01319919.pdf?arnumber=1319919","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T10:25:55Z","timestamp":1497608755000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1319919\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/ismvl.2004.1319919","relation":{},"subject":[]}}