{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T18:08:09Z","timestamp":1729620489253,"version":"3.28.0"},"reference-count":34,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,11]]},"DOI":"10.1109\/iske.2015.100","type":"proceedings-article","created":{"date-parts":[[2016,1,15]],"date-time":"2016-01-15T04:50:13Z","timestamp":1452833413000},"page":"526-533","source":"Crossref","is-referenced-by-count":0,"title":["WMV-Algebra and Its Wajsberg's form"],"prefix":"10.1109","author":[{"given":"Wu","family":"Hongbo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Liang","family":"Ying","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhao","family":"Bin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","first-page":"5","article-title":"Wajsberg algebras","volume":"8","author":"font","year":"1984","journal-title":"Stochastica"},{"key":"ref32","first-page":"1201","article-title":"The characterizations of MTL algebras","volume":"50","author":"pei","year":"2007","journal-title":"Acta Mathematicae Applicatae Sinica (Chinese Series)"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/S0165-0114(01)00215-9"},{"journal-title":"Fuzzy logics with its algebra analysis","year":"2008","author":"zhang","key":"ref30"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1958-0094302-9"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2003.12.005"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/S0165-0114(02)00143-4"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/S0165-0114(02)00382-2"},{"key":"ref13","first-page":"1","article-title":"MV-algebras, BL-algebras, R0-algebras and many-valued logics","volume":"16","author":"wang","year":"2002","journal-title":"Fuzzy System and Mathematics"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1023\/A:1015122331293"},{"journal-title":"Mathmatics Behind Fuzzy Logic","year":"1999","author":"turunen","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/S0165-0114(03)00138-6"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2005.10.016"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2006.05.008"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2013.08.014"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2011.09.001"},{"key":"ref4","first-page":"20","article-title":"Lattice implication algebras","volume":"89","author":"xu","year":"1993","journal-title":"Journal of Southwest Jiaotong University"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2013.06.001"},{"key":"ref3","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-44847-1","author":"xu","year":"2003","journal-title":"Lattice-valued Logic"},{"journal-title":"Non-Classical Mathematical Logic and Approximate Reasoning","year":"2000","author":"wang","key":"ref6"},{"key":"ref29","doi-asserted-by":"crossref","first-page":"619","DOI":"10.1016\/j.fss.2006.11.009","article-title":"On the failure of standard completeness in ITMTL for infinite theories","volume":"158","author":"ve","year":"2007","journal-title":"Fuzzy Sets and Systems"},{"journal-title":"Introduction to Mathematical Logic and Resolution Principle","year":"2000","author":"wang","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2009.09.002"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/S0165-0114(01)00098-7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-5300-3"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/0165-0114(94)00210-X"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19790250304"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2013.09.012"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2009.09.001"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2007.12.003"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2012.07.046"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2012.11.008"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2011.03.002"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2011.10.018"}],"event":{"name":"2015 10th International Conference on Intelligent Systems and Knowledge Engineering (ISKE)","start":{"date-parts":[[2015,11,24]]},"location":"Taipei, Taiwan","end":{"date-parts":[[2015,11,27]]}},"container-title":["2015 10th International Conference on Intelligent Systems and Knowledge Engineering (ISKE)"],"original-title":[],"link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/xplorestaging.ieee.org\/ielx7\/7381086\/7383005\/07383100.pdf?arnumber=7383100","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T03:46:33Z","timestamp":1498275993000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/ieeexplore.ieee.org\/document\/7383100\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,11]]},"references-count":34,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1109\/iske.2015.100","relation":{},"subject":[],"published":{"date-parts":[[2015,11]]}}}