{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T08:26:13Z","timestamp":1746001573573,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,7]]},"DOI":"10.1109\/fskd.2011.6019840","type":"proceedings-article","created":{"date-parts":[[2011,9,22]],"date-time":"2011-09-22T15:43:18Z","timestamp":1316706198000},"page":"1413-1417","source":"Crossref","is-referenced-by-count":2,"title":["\u03b1-generalized linear resolution method based on lattice-valued propositional logic LP(X)"],"prefix":"10.1109","author":[{"given":"Weitao","family":"Xu","sequence":"first","affiliation":[]},{"given":"Yang","family":"Xu","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2010.03.024"},{"key":"17","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1142\/9789814324700_0008","article-title":"Generalized resolution principle based on lattice-valued propositional logic system LP(X)","author":"xu","year":"2010","journal-title":"The 9th International FLINS Conference on Foundations and Applications of Computational Intelligence"},{"journal-title":"A General Form of ?-generalized Resolution Principle for Lattice-valued Logic","year":"2011","author":"xu","key":"18"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0255(01)00065-2"},{"journal-title":"Lattice-Valued Logic An Alternative Approach to Treat Fuzziness and Incomparability","year":"2003","author":"xu","key":"16"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0255(00)00069-4"},{"key":"14","first-page":"213","article-title":"Syntax of L-valued first-order logic Lvfl","volume":"7","author":"xu","year":"2001","journal-title":"International Journal of Multiple-Valued Logic"},{"key":"11","first-page":"123","article-title":"Lattice-valued propositional logic (I)","volume":"1","author":"xu","year":"1993","journal-title":"Journal of Southwest Jiaotong University"},{"key":"12","first-page":"22","article-title":"Lattice-valued propositional logic (II)","volume":"1","author":"xu","year":"1994","journal-title":"Journal of Southwest Jiaotong University"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0060630"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0060631"},{"journal-title":"Symbolic Logic and Mechanical Theorem Proving","year":"1973","author":"chang","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72434-6_82"},{"key":"7","first-page":"81","article-title":"Generalized resolution","volume":"5","author":"wang","year":"1982","journal-title":"Chinese Journal of Computers"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.2007.10"},{"key":"5","doi-asserted-by":"crossref","first-page":"560","DOI":"10.1109\/TFUZZ.2003.814859","article-title":"Zhengming Song, A resolution-like strategy based on lattice-valued logic","volume":"11","author":"liu","year":"2003","journal-title":"IEEE Transactions on Fuzzy Systems"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/321250.321253"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1142\/9789814295062_0093"},{"journal-title":"Resolution-based Automated Reasoning","year":"1994","author":"liu","key":"8"}],"event":{"name":"2011 Eighth International Conference on Fuzzy Systems and Knowledge Discovery (FSKD 2011)","start":{"date-parts":[[2011,7,26]]},"location":"Shanghai","end":{"date-parts":[[2011,7,28]]}},"container-title":["2011 Eighth International Conference on Fuzzy Systems and Knowledge Discovery (FSKD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6012258\/6019524\/06019840.pdf?arnumber=6019840","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,1,25]],"date-time":"2018-01-25T16:45:16Z","timestamp":1516898716000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6019840\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,7]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/fskd.2011.6019840","relation":{},"subject":[],"published":{"date-parts":[[2011,7]]}}}