{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:30:46Z","timestamp":1725557446497},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642138027"},{"type":"electronic","value":"9783642138034"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13803-4_40","type":"book-chapter","created":{"date-parts":[[2010,6,11]],"date-time":"2010-06-11T11:11:36Z","timestamp":1276254696000},"page":"320-327","source":"Crossref","is-referenced-by-count":6,"title":["\u03b1-Satisfiability and \u03b1-Lock Resolution for a Lattice-Valued Logic LP(X)"],"prefix":"10.1007","author":[{"given":"Xingxing","family":"He","sequence":"first","affiliation":[]},{"given":"Yang","family":"Xu","sequence":"additional","affiliation":[]},{"given":"Yingfang","family":"Li","sequence":"additional","affiliation":[]},{"given":"Jun","family":"Liu","sequence":"additional","affiliation":[]},{"given":"Luis","family":"Martinez","sequence":"additional","affiliation":[]},{"given":"Da","family":"Ruan","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"40_CR1","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"J.P. Robinson","year":"1965","unstructured":"Robinson, J.P.: A machine-oriented logic based on the resolution principle. J. ACM\u00a012, 23\u201341 (1965)","journal-title":"J. ACM"},{"key":"40_CR2","volume-title":"Resolution-Based Automated Reasoning","author":"X.H. Liu","year":"1994","unstructured":"Liu, X.H.: Resolution-Based Automated Reasoning. Academic Press, Beijing (1994) (in Chinese)"},{"key":"40_CR3","volume-title":"Automated Reasoning: 33 Basic Research Problems","author":"L. Wos","year":"1988","unstructured":"Wos, L.: Automated Reasoning: 33 Basic Research Problems. Prentice Hall, New Jersey (1988)"},{"key":"40_CR4","volume-title":"Introduction to Mathematical Logic and Resolution Principle","author":"G.J. Wang","year":"2006","unstructured":"Wang, G.J., Zhou, H.J.: Introduction to Mathematical Logic and Resolution Principle, 2nd edn. Science Press, Beijing (2006)","edition":"2"},{"key":"40_CR5","first-page":"20","volume":"1","author":"Y. Xu","year":"1993","unstructured":"Xu, Y.: Lattice implication algebra. J. Southwest Jiaotong University\u00a01, 20\u201327 (1993)","journal-title":"J. Southwest Jiaotong University"},{"key":"40_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-44847-1","volume-title":"Lattice-Valued Logic: An Alternative Approach to Treat Fuzziness and Incomparability","author":"Y. Xu","year":"2003","unstructured":"Xu, Y., Ruan, D., Qin, K.Y., Liu, J.: Lattice-Valued Logic: An Alternative Approach to Treat Fuzziness and Incomparability. Springer, Berlin (2003)"},{"key":"40_CR7","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/S0020-0255(00)00069-4","volume":"130","author":"Y. Xu","year":"2000","unstructured":"Xu, Y., Ruan, D., Kerre, E.E., Liu, J.: \u03b1-resolution principle based on lattice-valued propositional logic LP(X). Information Science\u00a0130, 195\u2013223 (2000)","journal-title":"Information Science"},{"key":"40_CR8","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/S0020-0255(01)00065-2","volume":"132","author":"Y. Xu","year":"2001","unstructured":"Xu, Y., Ruan, D., Kerre, E.E., Liu, J.: \u03b1-resolution principle based on first-order lattice-valued logic LF(X). Information Science\u00a0132, 221\u2013239 (2001b)","journal-title":"Information Science"},{"key":"40_CR9","doi-asserted-by":"publisher","first-page":"1046","DOI":"10.1016\/j.ins.2006.07.027","volume":"177","author":"J. Ma","year":"2007","unstructured":"Ma, J., Li, W.J., Ruan, D., Xu, Y.: Filter-based resolution principle for lattice-valued propositional logic LP(X). Information Sciences\u00a0177, 1046\u20131062 (2007)","journal-title":"Information Sciences"},{"issue":"4","key":"40_CR10","doi-asserted-by":"publisher","first-page":"560","DOI":"10.1109\/TFUZZ.2003.814859","volume":"11","author":"J. Liu","year":"2003","unstructured":"Liu, J., Ruan, D., Xu, Y., Song, Z.M.: A resolution-like strategy based on a lattice-valued logic. IEEE Transaction on Fuzzy System\u00a011(4), 560\u2013567 (2003)","journal-title":"IEEE Transaction on Fuzzy System"}],"container-title":["Lecture Notes in Computer Science","Hybrid Artificial Intelligence Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13803-4_40.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T12:13:24Z","timestamp":1619784804000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13803-4_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642138027","9783642138034"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13803-4_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}