{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,2]],"date-time":"2023-02-02T13:32:25Z","timestamp":1675344745934},"reference-count":8,"publisher":"Oxford University Press (OUP)","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Logic Journal of IGPL"],"published-print":{"date-parts":[[2012,6,1]]},"DOI":"10.1093\/jigpal\/jzr007","type":"journal-article","created":{"date-parts":[[2011,2,11]],"date-time":"2011-02-11T20:30:39Z","timestamp":1297456239000},"page":"579-588","source":"Crossref","is-referenced-by-count":10,"title":["On \u00a0-satisfiability and its \u00a0-lock resolution in a finite lattice-valued propositional logic"],"prefix":"10.1093","volume":"20","author":[{"given":"X.","family":"He","sequence":"first","affiliation":[]},{"given":"J.","family":"Liu","sequence":"additional","affiliation":[]},{"given":"Y.","family":"Xu","sequence":"additional","affiliation":[]},{"given":"L.","family":"Martinez","sequence":"additional","affiliation":[]},{"given":"D.","family":"Ruan","sequence":"additional","affiliation":[]}],"member":"286","published-online":{"date-parts":[[2011,2,11]]},"reference":[{"key":"1_39156525","doi-asserted-by":"crossref","first-page":"2729","DOI":"10.1016\/j.neucom.2009.02.017","volume":"72","year":"2009","ISSN":"http:\/\/id.crossref.org\/issn\/0925-2312","issn-type":"print"},{"key":"2_39214708","doi-asserted-by":"crossref","first-page":"2633","DOI":"10.1016\/j.ins.2010.02.019","volume":"180","year":"2010","journal-title":"Information Sciences (New York)","ISSN":"http:\/\/id.crossref.org\/issn\/0020-0255","issn-type":"print"},{"key":"4_39214709","doi-asserted-by":"crossref","first-page":"560","DOI":"10.1109\/TFUZZ.2003.814859","volume":"11","year":"2003","journal-title":"IEEE TRANSACTION ON FUZZY SYSTEMS"},{"key":"6_39214710","doi-asserted-by":"crossref","first-page":"1046","DOI":"10.1016\/j.ins.2006.07.027","volume":"177","year":"2007","journal-title":"Information Sciences (New York)","ISSN":"http:\/\/id.crossref.org\/issn\/0020-0255","issn-type":"print"},{"key":"8_37234351","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","year":"1965","journal-title":"JOURNAL OF ACM"},{"key":"11_39214711","first-page":"20","volume":"28","year":"1993","journal-title":"JOURNAL OF SOUTHWEST JIAOTONG UNIVERSITY"},{"key":"13_39214712","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1016\/S0020-0255(00)00069-4","volume":"130","year":"2000","journal-title":"Information Sciences (New York)","ISSN":"http:\/\/id.crossref.org\/issn\/0020-0255","issn-type":"print"},{"key":"14_39214713","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1016\/S0020-0255(01)00065-2","volume":"132","year":"2001","journal-title":"Information Sciences (New York)","ISSN":"http:\/\/id.crossref.org\/issn\/0020-0255","issn-type":"print"}],"container-title":["Logic Journal of IGPL"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/jigpal\/article-pdf\/20\/3\/579\/2374848\/jzr007.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,23]],"date-time":"2017-08-23T12:30:55Z","timestamp":1503491455000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article-lookup\/doi\/10.1093\/jigpal\/jzr007"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,2,11]]},"references-count":8,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2012,5,23]]},"published-print":{"date-parts":[[2012,6,1]]}},"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzr007","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"value":"1367-0751","type":"print"},{"value":"1368-9894","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,2,11]]}}}