{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T01:03:48Z","timestamp":1730250228486,"version":"3.28.0"},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,7]]},"DOI":"10.1109\/icmlc.2013.6890877","type":"proceedings-article","created":{"date-parts":[[2014,9,10]],"date-time":"2014-09-10T11:45:19Z","timestamp":1410349519000},"page":"1729-1734","source":"Crossref","is-referenced-by-count":0,"title":["1-minimal resolution principle based on lattice-valued propositional logic LP(X)"],"prefix":"10.1109","author":[{"family":"Hairui Jia","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yang","family":"Xu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Yi Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Huicong He","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","first-page":"1413","article-title":"Linguistic truth-valued lattice implication algebra and its properties Proc. IMACS MuLticonference on","author":"xu","year":"2006","journal-title":"Computational Engineering in Systems Applications\" (CESA2006)"},{"key":"17","first-page":"92","article-title":"Proving and optimizing the method of sum-up principle based on the strategy of supporting aggregate","volume":"5","author":"cai","year":"2005","journal-title":"Modem Computer"},{"doi-asserted-by":"publisher","key":"18","DOI":"10.1016\/j.jal.2007.07.004"},{"year":"1987","author":"liu","journal-title":"Theorem Machine Proving","key":"15"},{"key":"16","first-page":"60","article-title":"The compatibility among three resolution principles","volume":"2","author":"liu","year":"1992","journal-title":"Journal of Software"},{"key":"13","first-page":"129","article-title":"Lock-semantic resolution principle with lemmas-LI-resolution principle","volume":"4","author":"liu","year":"1979","journal-title":"Journal of Jilin University (Science Edition)"},{"key":"14","first-page":"1201","article-title":"Input semi-lock resolution method based on Hom sets","volume":"16","author":"liu","year":"1985","journal-title":"Chinese Science Bulletin"},{"key":"11","first-page":"1418","article-title":"A-group resolution principle based on lattice-valued logic","author":"zhong","year":"0","journal-title":"2011 Eighth International Conference on Fuzzy Systems and Knowledge Discovery (FSKD)"},{"doi-asserted-by":"publisher","key":"12","DOI":"10.1145\/321250.321253"},{"year":"2012","author":"he","journal-title":"A-generalized Lock Resolution Automated Reasoning for Linguistic Truth-valued Lattice-valued Logic Based on Lattice Implication Algebras","key":"21"},{"doi-asserted-by":"publisher","key":"20","DOI":"10.1007\/978-3-540-72434-6_36"},{"year":"2012","author":"zhong","journal-title":"On A-quasi-Iock Semantic Resolution Automated Reasoning Based on Lattice-valued Logic","key":"22"},{"key":"23","first-page":"262","article-title":"The properties of a-resolution and J-resolution based on lattice-valued prepositional logic system","volume":"6","author":"li","year":"2008","journal-title":"CHINESE QUARTERLY JOURNAL OF MATHEMATICS"},{"key":"24","first-page":"6749","article-title":"A-Linear Resolution Method Based on Linguistic Truth-Valued Lattice-Valued Propositional Logic System","volume":"8","author":"xu","year":"2012","journal-title":"Journal of Computational Information Systems"},{"doi-asserted-by":"publisher","key":"25","DOI":"10.1142\/9789814417747_0115"},{"doi-asserted-by":"publisher","key":"26","DOI":"10.1080\/18756891.2012.747665"},{"doi-asserted-by":"publisher","key":"27","DOI":"10.1007\/s00500-012-0860-2"},{"key":"28","first-page":"983","article-title":"A-Group Semantic Resolution Method Based on Lattice-valued Propositional Logic System LP(X)","volume":"20","author":"zhong","year":"2012","journal-title":"The Journal of Fuzzy Mathematics"},{"doi-asserted-by":"publisher","key":"3","DOI":"10.1016\/S0020-0255(00)00069-4"},{"year":"2003","author":"xu","journal-title":"Lattice-Valued Logic An Alternative Approach to Treat Fuzziness and Incomparability","key":"2"},{"doi-asserted-by":"publisher","key":"10","DOI":"10.1016\/S0020-0255(00)00069-4"},{"doi-asserted-by":"publisher","key":"1","DOI":"10.1007\/978-3-540-72434-6_82"},{"doi-asserted-by":"publisher","key":"7","DOI":"10.1007\/978-3-540-72434-6_82"},{"year":"2011","author":"xu","journal-title":"On Linguistic Truth-valued A-generalized Linear Resolution Automated Reasoning Based on Lattice-valued Logic","key":"6"},{"key":"5","first-page":"123","article-title":"Lattice-valued propositional logic (I)","volume":"1","author":"xu","year":"1993","journal-title":"J Southwest Jiaotong Univ"},{"year":"0","author":"xu","journal-title":"Multi-ary A-resolution Principle for A Lattice-valued Logic","key":"4"},{"key":"9","first-page":"5","article-title":"Lattice-valued propositional logic LP(X)(I)","volume":"11","author":"qin","year":"1997","journal-title":"Fuzzy Sys Math"},{"key":"8","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1016\/S0020-0255(01)00065-2","article-title":"A-Resolution principle based on lattice-valued first-order lattice-valued logic LF (X)","volume":"132","author":"xu","year":"2001","journal-title":"Information Science"}],"event":{"name":"2013 International Conference on Machine Learning and Cybernetics (ICMLC)","start":{"date-parts":[[2013,7,14]]},"location":"Tianjin","end":{"date-parts":[[2013,7,17]]}},"container-title":["2013 International Conference on Machine Learning and Cybernetics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6880948\/6890831\/06890877.pdf?arnumber=6890877","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,3,1]],"date-time":"2018-03-01T16:56:58Z","timestamp":1519923418000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6890877\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,7]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/icmlc.2013.6890877","relation":{},"subject":[],"published":{"date-parts":[[2013,7]]}}}