{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,27]],"date-time":"2026-01-27T18:42:40Z","timestamp":1769539360172,"version":"3.49.0"},"reference-count":13,"publisher":"IEEE","license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1109\/fuzz.2003.1209338","type":"proceedings-article","created":{"date-parts":[[2004,6,3]],"date-time":"2004-06-03T16:14:56Z","timestamp":1086279296000},"page":"61-66 vol.1","source":"Crossref","is-referenced-by-count":1,"title":["Resolution principle based on finite chain lattice-valued proposition logic FCLP(X)"],"prefix":"10.1109","author":[{"given":"D.","family":"Meng","sequence":"first","affiliation":[{"name":"Dept. of Appl. Math., Southwest Jiaotong Univ., Sichuan, China"}]},{"family":"Xiaoping Qiu","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"123","article-title":"Lattice-valued propositional logic","volume":"1","author":"yang","year":"1993","journal-title":"Journal of Southwest Jiaotong University"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1016\/S0020-0255(00)00069-4","article-title":"a - resolution principle based on lattice-valued propositional logic LP(X)","volume":"130","author":"yang","year":"2000","journal-title":"Information Sciences"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1016\/S0020-0255(01)00065-2","article-title":"a-resolution principle based on first-order lattice-valued [logic LF(X)","volume":"132","author":"yang","year":"2001","journal-title":"Information Sciences"},{"key":"ref13","first-page":"54","article-title":"On filters of lattice implication algebra","volume":"1","author":"yang","year":"1993","journal-title":"Journal of Fuzzy Mathematics"},{"key":"ref4","doi-asserted-by":"crossref","DOI":"10.1109\/NAFIPS.2002.1018027","article-title":"Algorithm of transforming any formula in LP(X) to a pure-generalized conjunction normal form","author":"meng","year":"2002","journal-title":"2002 Annual Meeting of the North American Fuzzy Information Processing Society Proceedings NAFIPS-FLINT"},{"key":"ref3","article-title":"a - resolution principle based on. an intermediate element lattice-valued propositional logic","author":"meng","year":"2002","journal-title":"8 th International Conference on Fuzzy Theory and TechnologyConference of"},{"key":"ref6","first-page":"338","article-title":"Fuzzy Sets, Information and Control","volume":"8","author":"zadeh","year":"1965"},{"key":"ref5","article-title":"Automated Reasoning: Basic Research Problems","author":"wos","year":"1988"},{"key":"ref8","first-page":"51","article-title":"On ultrafilter of of lattice implication algebra","volume":"34","author":"keyun","year":"1999","journal-title":"Journal of Southwest Jiaotong University"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/321250.321253"},{"key":"ref2","article-title":"Automated Theorem Proving","author":"loveland","year":"1978","journal-title":"A Logic Basis"},{"key":"ref1","article-title":"Symbolic Logic and Mechanical Theorom Proving","author":"chang","year":"1973"},{"key":"ref9","first-page":"20","article-title":"Lattice Implication Algebra","volume":"1","author":"yang","year":"1993","journal-title":"Journal of Southwest Jiaotong University"}],"event":{"name":"12th International Fuzzy Systems Conference","location":"St. Louis, MO, USA","start":{"date-parts":[[2003,5,25]]},"end":{"date-parts":[[2003,5,28]]}},"container-title":["The 12th IEEE International Conference on Fuzzy Systems, 2003. FUZZ '03."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8573\/27217\/01209338.pdf?arnumber=1209338","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,27]],"date-time":"2026-01-27T05:24:04Z","timestamp":1769491444000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/1209338\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/fuzz.2003.1209338","relation":{},"subject":[],"published":{"date-parts":[[2003]]}}}