{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,2]],"date-time":"2026-05-02T06:28:44Z","timestamp":1777703324280,"version":"3.51.4"},"reference-count":22,"publisher":"SAGE Publications","issue":"3","license":[{"start":{"date-parts":[[2018,3,22]],"date-time":"2018-03-22T00:00:00Z","timestamp":1521676800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":["journals.sagepub.com"],"crossmark-restriction":true},"short-container-title":["Journal of Intelligent &amp; Fuzzy Systems"],"published-print":{"date-parts":[[2018,3,22]]},"abstract":"<jats:p>On the basis of \u03b1-minimal resolution principle, an \u03b1-n(t)-ary resolution dynamic automated reasoning method\u2014multi-ary \u03b1-ordered linear minimal resolution method is studied in lattice-valued propositional logic system LP(X) and lattice-valued first-order logic system LF(X) based on lattice implication algebra (LIA). Firstly, multi-ary \u03b1-ordered linear minimal resolution method is established in LP(X), while its theorems of both soundness and completeness are proved. Then, multi-ary \u03b1-ordered linear minimal resolution method is further established in the corresponding lattice-valued first-order logic LF(X), along with its soundness theorem, lifting lemma, and completeness theorem. Then, the validity of multi-ary \u03b1-ordered linear minimal resolution based on lattice-valued logic is analyzed. At last, an multi-ary \u03b1-ordered linear minimal resolution algorithm in LP(X) is designed, and it is proved to be sound and complete, then it is further extended in the corresponding LF(X). This lays the foundation for the further study on \u03b1-n(t)-ary resolution dynamic automated reasoning program.<\/jats:p>","DOI":"10.3233\/jifs-161187","type":"journal-article","created":{"date-parts":[[2018,3,23]],"date-time":"2018-03-23T12:17:39Z","timestamp":1521807459000},"page":"1777-1789","update-policy":"https:\/\/doi.org\/10.1177\/sage-journals-update-policy","source":"Crossref","is-referenced-by-count":0,"title":["Multi-ary \u03b1-ordered linear minimal resolution method in lattice-valued logic\u00a0system"],"prefix":"10.1177","volume":"34","author":[{"given":"Jia","family":"Hairui","sequence":"first","affiliation":[{"name":"Intelligent Control Development Center, Southwest Jiaotong University, Chengdu, Sichuan, China"},{"name":"National-Local Joint Engineering Laboratory of System Credibility Automatic Verification, Southwest Jiaotong University, Chengdu, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Liu","family":"Yi","sequence":"additional","affiliation":[{"name":"Intelligent Control Development Center, Southwest Jiaotong University, Chengdu, Sichuan, China"},{"name":"College of Mathematics and Information Science Neijiang Normal University, Neijiang, Sichuan, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xu","family":"Yang","sequence":"additional","affiliation":[{"name":"Intelligent Control Development Center, Southwest Jiaotong University, Chengdu, Sichuan, China"},{"name":"National-Local Joint Engineering Laboratory of System Credibility Automatic Verification, Southwest Jiaotong University, Chengdu, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","published-online":{"date-parts":[[2018,3,22]]},"reference":[{"key":"e_1_3_2_2_2","doi-asserted-by":"publisher","DOI":"10.1145\/321250.321253"},{"key":"e_1_3_2_3_2","unstructured":"ChangC L. LeeR.C.T.and Symbolic logic and mechanical theorem proving [M]. New York: Academic Press; 1973."},{"key":"e_1_3_2_4_2","volume-title":"Automated theorem proving: A logical basis [M]","author":"Loveland D.W.","year":"1978","unstructured":"LovelandD.W., Automated theorem proving: A logical basis [M]. Amsterdam, North-Holland; 1978."},{"key":"e_1_3_2_5_2","first-page":"163","volume-title":"Refinements in resolution theory","author":"Luckham D.","year":"1970","unstructured":"LuckhamD., Refinements in resolution theory, Proc. IRIA Symp. Automatic Demonstration, Spring-Verlag, New York; 1970, 163\u2013190."},{"issue":"4","key":"e_1_3_2_6_2","first-page":"397","article-title":"Automated reasoning in some local extensions of ordered structures [J]","volume":"13","author":"Sofronie V.S.","year":"2007","unstructured":"SofronieV.S. IhlemannC., Automated reasoning in some local extensions of ordered structures [J], Journal of Multiple-Valued Logic and Soft Computing 13(4-6) (2007), 397\u2013414.","journal-title":"Journal of Multiple-Valued Logic and Soft Computing"},{"key":"e_1_3_2_7_2","unstructured":"LiuX.H. Resolution-based Automated Reasoning [M]. Beijing: Academic Press of China; 1994 (in Chinese)."},{"key":"e_1_3_2_8_2","unstructured":"XuY. RuanD. and QinK.Y. et al. Lattice-valued logic\u2013an alternative approach to treat fuzziness and incomparability Berlin: Springer-Verlag; 2003."},{"key":"e_1_3_2_9_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0255(00)00069-4"},{"key":"e_1_3_2_10_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0255(01)00065-2"},{"key":"e_1_3_2_11_2","doi-asserted-by":"publisher","DOI":"10.1109\/TFUZZ.2012.2236095"},{"key":"e_1_3_2_12_2","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19790250304"},{"key":"e_1_3_2_13_2","first-page":"1413","volume-title":"Linguistic truth-valued lattice implication algebra and its properties [C]","author":"Xu Y.","year":"2006","unstructured":"XuY., ChenS.W. and MaJ., Linguistic truth-valued lattice implication algebra and its properties [C] Proc. IMACS Multiconference on \u201cComputational Engineering in Systems Applications\u201d (CESA 2006). Beijing, China; 2006, 1413\u20131418."},{"key":"e_1_3_2_14_2","first-page":"358","volume-title":"Weak completeness of resolution in a linguistic truth-valued prepositional logic [C]","author":"Xu Y.","year":"2007","unstructured":"XuY., ChenS.W. and LiuJ., et al. Weak completeness of resolution in a linguistic truth-valued prepositional logic [C] Proc. IFSA2007: Theoretical Advances and Applications of Fuzzy Logic and Soft Computing, Cancun, Mexico; 2007, 358\u2013366."},{"key":"e_1_3_2_15_2","first-page":"262","article-title":"The properties of \u03b1-resolution and J-resolution based on lattice-valued prepositional logic system [J]","volume":"6","author":"Li X.B.","year":"2008","unstructured":"LiX.B., QiuX.P. and ChangZ.Y., et al. The properties of \u03b1-resolution and J-resolution based on lattice-valued prepositional logic system [J], Chinese Quarterly Journal of Mathematics 6 (2008), 262\u2013269 (in Chinese).","journal-title":"Chinese Quarterly Journal of Mathematics"},{"issue":"1","key":"e_1_3_2_16_2","first-page":"34","article-title":"\u03b1-Minimal resolution principle for a lattice-valued logic [J]","volume":"8","author":"Jia R.H.","year":"2015","unstructured":"JiaR.H., XuY. and LiuY., \u03b1-Minimal resolution principle for a lattice-valued logic [J], Computational Intelligence Systems 8(1) (2015), 34\u201343.","journal-title":"Computational Intelligence Systems"},{"issue":"1","key":"e_1_3_2_17_2","first-page":"20","article-title":"Lattice implication algebras [J]","volume":"89","author":"Xu Y.","year":"1993","unstructured":"XuY., Lattice implication algebras [J], Journal of Southwest Jiaotong University 89(1) (1993) 20\u201327 (in Chinese).","journal-title":"Journal of Southwest Jiaotong University"},{"issue":"1","key":"e_1_3_2_18_2","first-page":"123","article-title":"Lattice-valued propositional logic(I) [J]","volume":"1","author":"Xu Y.","year":"1993","unstructured":"XuY. and QinK.Y., Lattice-valued propositional logic(I) [J], Journal of Southwest Jiaotong University 1(1) (1993) 123\u2013128 (English version).","journal-title":"Journal of Southwest Jiaotong University"},{"issue":"4","key":"e_1_3_2_19_2","first-page":"5","article-title":"Lattice-valued propositional logic LP(X) (I) [J]","volume":"11","author":"Qin K.Y.","year":"1997","unstructured":"QinK.Y., XuY. and SongZ.M., Lattice-valued propositional logic LP(X) (I) [J], Fuzzy Systems and Mathematics 11(4) (1997) 5\u201310 (in Chinese).","journal-title":"Fuzzy Systems and Mathematics"},{"key":"e_1_3_2_20_2","doi-asserted-by":"publisher","DOI":"10.1504\/IJAMS.2012.049930"},{"key":"e_1_3_2_21_2","doi-asserted-by":"publisher","DOI":"10.1142\/9789814417747_0114"},{"key":"e_1_3_2_22_2","doi-asserted-by":"publisher","DOI":"10.1142\/9789814619998_0033"},{"key":"e_1_3_2_23_2","doi-asserted-by":"publisher","DOI":"10.3233\/IFS-151637"}],"container-title":["Journal of Intelligent &amp; Fuzzy Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/JIFS-161187","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/full-xml\/10.3233\/JIFS-161187","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/JIFS-161187","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T09:38:27Z","timestamp":1777455507000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.3233\/JIFS-161187"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,3,22]]},"references-count":22,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2018,3,22]]}},"alternative-id":["10.3233\/JIFS-161187"],"URL":"https:\/\/doi.org\/10.3233\/jifs-161187","relation":{},"ISSN":["1064-1246","1875-8967"],"issn-type":[{"value":"1064-1246","type":"print"},{"value":"1875-8967","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,3,22]]}}}