{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,15]],"date-time":"2025-03-15T04:08:09Z","timestamp":1742011689682,"version":"3.38.0"},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2011,11,19]],"date-time":"2011-11-19T00:00:00Z","timestamp":1321660800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Soft Comput"],"published-print":{"date-parts":[[2012,4]]},"DOI":"10.1007\/s00500-011-0779-z","type":"journal-article","created":{"date-parts":[[2011,11,18]],"date-time":"2011-11-18T10:17:30Z","timestamp":1321611450000},"page":"699-709","source":"Crossref","is-referenced-by-count":12,"title":["On compatibilities of \u03b1-lock resolution method in linguistic truth-valued lattice-valued logic"],"prefix":"10.1007","volume":"16","author":[{"given":"Xingxing","family":"He","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yang","family":"Xu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jun","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shuwei","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,11,19]]},"reference":[{"issue":"4","key":"779_CR1","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1006\/jsco.1995.1021","volume":"19","author":"M Baaz","year":"1995","unstructured":"Baaz M, Fermvller CG (1995) Resolution-based theorem proving for many valued logics. J Symb Comput 19(4):353\u2013391","journal-title":"J Symb Comput"},{"key":"779_CR2","unstructured":"Boyer R (1971) Locking: a restriction of resolution. PhD thesis, University of Texas at Austin"},{"key":"779_CR3","volume-title":"Symbolic logic and mechanical theorem proving","author":"CL Chang","year":"1997","unstructured":"Chang CL, Lee RCT (1997) Symbolic logic and mechanical theorem proving. Academic Press, USA"},{"issue":"3","key":"779_CR4","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1016\/j.apal.2009.07.008","volume":"161","author":"R Constable","year":"2009","unstructured":"Constable R, Moczydlowski W (2009) Extracting the resolution algorithm from a completeness proof for the propositional calculus. Ann Pure Appl Log 161(3):337\u2013348","journal-title":"Ann Pure Appl Log"},{"issue":"1-2","key":"779_CR5","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/S0747-7171(03)00036-1","volume":"36","author":"A Degtyareva","year":"2003","unstructured":"Degtyareva A, Nieuwenhuisb R, Voronkov A (2003) Stratified resolution. J Symb Comput 36(1-2):79\u201399","journal-title":"J Symb Comput"},{"key":"779_CR6","doi-asserted-by":"crossref","unstructured":"Fermvller CG, Leitsch A, Hustadt U, Tammet T (2001) Resolution decision procedures. In: Handbook of Automated Reasoning, pp 1791\u20131849","DOI":"10.1016\/B978-044450813-3\/50027-8"},{"issue":"1\u20132","key":"779_CR7","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/S0304-3975(99)00176-0","volume":"232","author":"D Galmiche","year":"2000","unstructured":"Galmiche D (2000) Connection methods in linear logic and proof nets construction. Theor Comput Sci 232(1\u20132):231\u2013272","journal-title":"Theor Comput Sci"},{"key":"779_CR8","doi-asserted-by":"crossref","unstructured":"He XX, Liu J, Xu Y, Mart\u00ednez L, Ruan D (2011a) On \u03b1-satisfiability and its \u03b1-lock resolution in a finite lattice-valued propositional logic. Log J IGPL. doi: 10.1093\/jigpal\/jzr007 (Epub ahead of print)","DOI":"10.1093\/jigpal\/jzr007"},{"issue":"7","key":"779_CR9","doi-asserted-by":"crossref","first-page":"1274","DOI":"10.1016\/j.engappai.2011.07.003","volume":"24","author":"XX He","year":"2011","unstructured":"He XX, Xu Y, Liu J, Ruan D (2011b) \u03b1-Lock resolution method for a lattice-valued first-order logic. Eng Appl Artif Intell 24(7):1274\u20131280","journal-title":"Eng Appl Artif Intell"},{"issue":"10","key":"779_CR10","doi-asserted-by":"crossref","first-page":"1990","DOI":"10.1016\/j.ins.2010.01.021","volume":"180","author":"JJ Lai","year":"2010","unstructured":"Lai JJ, Xu Y (2010) Linguistic truth-valued lattice-valued propositional logic system LP(X) based on linguistic truth-valued lattice implication algebra. Inf Sci 180(10):1990\u20132002","journal-title":"Inf Sci"},{"key":"779_CR11","volume-title":"Automated reasoning based on resolution methods","author":"XH Liu","year":"1994","unstructured":"Liu XH (1994) Automated reasoning based on resolution methods. Science Press, Beijing (in Chinese)"},{"issue":"9","key":"779_CR12","first-page":"778","volume":"36","author":"XH Liu","year":"1991","unstructured":"Liu XH, Yang YP (1991) Linear semi-lock resolution. Chin Sci Bull 36(9):778\u2013781","journal-title":"Chin Sci Bull"},{"issue":"4","key":"779_CR13","doi-asserted-by":"crossref","first-page":"560","DOI":"10.1109\/TFUZZ.2003.814859","volume":"11","author":"J Liu","year":"2003","unstructured":"Liu J, Ruan D, Xu Y, Song ZM (2003) A resolution-like strategy based on a lattice-valued logic. IEEE Trans Fuzzy Syst 11(4):560\u2013567","journal-title":"IEEE Trans Fuzzy Syst"},{"issue":"4","key":"779_CR14","doi-asserted-by":"crossref","first-page":"1046","DOI":"10.1016\/j.ins.2006.07.027","volume":"177","author":"J Ma","year":"2007","unstructured":"Ma J, Li WJ, Ruan D, Xu Y (2007a) Filter-based resolution principle for lattice-valued propositional logic LP(X). Inf Sci 177(4):1046\u20131062","journal-title":"Inf Sci"},{"issue":"2","key":"779_CR15","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/j.ijar.2006.07.007","volume":"44","author":"J Ma","year":"2007","unstructured":"Ma J, Ruan D, Xu Y, Zhang G (2007b) A fuzzy-set approach to treat determinacy and consistency of linguistic terms in multi-criteria decision making. Int J Approx Reason 44(2):165\u2013181","journal-title":"Int J Approx Reason"},{"key":"779_CR16","volume-title":"Linguistic values-based intelligent information processing: theory, methods, and applications","author":"Z Pei","year":"2009","unstructured":"Pei Z, Ruan D, Liu J, Xu Y (2009) Linguistic values-based intelligent information processing: theory, methods, and applications. Atlantis Press, Paris"},{"issue":"1-2","key":"779_CR17","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1016\/S0304-3975(98)00012-7","volume":"200","author":"D Mundici","year":"1998","unstructured":"Mundici D, Olivetti N (1998) Resolution and model building in the infinite-valued calculus of $${\\L}$$ ukasiewicz. Theor Comput Sci 200(1\u20132):335\u2013366","journal-title":"Theor Comput Sci"},{"issue":"1","key":"779_CR18","first-page":"22","volume":"2","author":"KY Qin","year":"1994","unstructured":"Qin KY, Xu Y (1994) Lattice-valued proposition logic (II). J Southwest Jiaotong Univ 2(1):22\u201327","journal-title":"J Southwest Jiaotong Univ"},{"issue":"1","key":"779_CR19","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"JA Robinson","year":"1965","unstructured":"Robinson JA (1965) A machine-oriented logic based on the resolution principle. J ACM 12(1):23\u201341","journal-title":"J ACM"},{"key":"779_CR20","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/BFb0019355","volume":"502","author":"T Tammet","year":"1991","unstructured":"Tammet T (1991) Resolution methods for decision problems and finite-model building. Balt Comput Sci 502:33\u201364","journal-title":"Balt Comput Sci"},{"issue":"3","key":"779_CR21","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1007\/BF00885763","volume":"12","author":"T Tammet","year":"1994","unstructured":"Tammet T (1994) Proof strategies in linear logic. J Autom Reason 12(3):273\u2013304","journal-title":"J Autom Reason"},{"issue":"1","key":"779_CR22","first-page":"20","volume":"89","author":"Y Xu","year":"1993","unstructured":"Xu Y (1993) Lattice implication algebras. J Southwest Jiaotong Univ 89(1):20\u201327 (in Chinese)","journal-title":"J Southwest Jiaotong Univ"},{"issue":"2","key":"779_CR23","first-page":"123","volume":"1","author":"Y Xu","year":"1993","unstructured":"Xu Y, Qin KY (1993) Lattice-valued propositional logic (I). J Southwest Jiaotong Univ 1(2):123\u2013128","journal-title":"J Southwest Jiaotong Univ"},{"issue":"1-4","key":"779_CR24","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1016\/S0020-0255(00)00069-4","volume":"130","author":"Y Xu","year":"2000","unstructured":"Xu Y, Ruan D, Kerre EE, Liu J (2000) \u03b1-Resolution principle based on lattice-valued propositional logic LP(X). Inf Sci 130(1-4):195\u2013223","journal-title":"Inf Sci"},{"issue":"1-4","key":"779_CR25","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1016\/S0020-0255(01)00065-2","volume":"132","author":"Y Xu","year":"2001","unstructured":"Xu Y, Ruan D, Kerre EE, Liu J (2001) \u03b1-Resolution principle based on first-order lattice-valued logic LF(X). Inf Sci 132(1-4):221\u2013239","journal-title":"Inf Sci"},{"key":"779_CR26","volume-title":"Lattice-valued logic-an alternative approach to treat fuzziness and incomparability","author":"Y Xu","year":"2003","unstructured":"Xu Y, Ruan D, Qin KY, Liu J (2003) Lattice-valued logic-an alternative approach to treat fuzziness and incomparability. Springer-Verlag, Heidelberg"},{"key":"779_CR27","doi-asserted-by":"crossref","unstructured":"Xu Y, Chen SW, Ma J (2006a) Linguistic truth-valued lattice implication algebra and its properties. In: IMACS Multi-conference on Computational Engineering in System Application, pp 1413\u20131418","DOI":"10.1109\/CESA.2006.313537"},{"issue":"4","key":"779_CR28","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1002\/int.20129","volume":"21","author":"Y Xu","year":"2006","unstructured":"Xu Y, Liu J, Ruan D, Lee TT (2006b) On the consistency of rule bases cased on lattice-valued first-order logic LF(X). Int J Intell Syst 21(4):399\u2013424","journal-title":"Int J Intell Syst"},{"issue":"10","key":"779_CR29","doi-asserted-by":"crossref","first-page":"1836","DOI":"10.1016\/j.ins.2010.03.024","volume":"181","author":"Y Xu","year":"2011","unstructured":"Xu Y, Liu J, Ruan D, Li XB (2011) Determination of \u03b1-resolution in lattice-valued first-order logic LF(X). Inf Sci 181(10):1836\u20131862","journal-title":"Inf Sci"},{"issue":"3","key":"779_CR30","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1016\/S0165-0114(97)00242-X","volume":"105","author":"XX Wang","year":"1999","unstructured":"Wang XX, Hu XH (1999) Approximate reasoning based on linguistic truth value with \u03b1-operator. Fuzzy Sets Syst 105(3):401\u2013407","journal-title":"Fuzzy Sets Syst"},{"issue":"3","key":"779_CR31","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/0020-0255(75)90036-5","volume":"8","author":"LA Zadeh","year":"1975","unstructured":"Zadeh LA (1975) The concept of linguistic variable and its application to approximate reasoning. Inf Sci I 8(3):199\u2013249","journal-title":"Inf Sci I"},{"issue":"4","key":"779_CR32","first-page":"310","volume":"8","author":"LA Zadeh","year":"1975","unstructured":"Zadeh LA (1975) The concept of linguistic variable and its application to approximate reasoning. Inf Sci II 8(4):310\u2013357","journal-title":"Inf Sci II"},{"issue":"1","key":"779_CR33","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/0020-0255(75)90017-1","volume":"9","author":"LA Zadeh","year":"1975","unstructured":"Zadeh LA (1975) The concept of linguistic variable and its application to approximate reasoning. Inf Sci III 9(1):43\u201380","journal-title":"Inf Sci III"},{"key":"779_CR34","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7908-1873-4","volume-title":"Computing with words in information\/intelligent system: foundations","author":"LA Zadeh","year":"1999","unstructured":"Zadeh LA, Kacprzyk J (1999) Computing with words in information\/intelligent system: foundations. Springer-Verlag, Berlin"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-011-0779-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00500-011-0779-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-011-0779-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,14]],"date-time":"2025-03-14T06:16:48Z","timestamp":1741933008000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00500-011-0779-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,11,19]]},"references-count":34,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2012,4]]}},"alternative-id":["779"],"URL":"https:\/\/doi.org\/10.1007\/s00500-011-0779-z","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"type":"print","value":"1432-7643"},{"type":"electronic","value":"1433-7479"}],"subject":[],"published":{"date-parts":[[2011,11,19]]}}}