{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,17]],"date-time":"2025-04-17T16:27:34Z","timestamp":1744907254726,"version":"3.30.1"},"reference-count":90,"publisher":"Elsevier BV","issue":"1-4","license":[{"start":{"date-parts":[[2000,12,1]],"date-time":"2000-12-01T00:00:00Z","timestamp":975628800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information Sciences"],"published-print":{"date-parts":[[2000,12]]},"DOI":"10.1016\/s0020-0255(00)00069-4","type":"journal-article","created":{"date-parts":[[2003,4,7]],"date-time":"2003-04-07T17:32:24Z","timestamp":1049736744000},"page":"195-223","source":"Crossref","is-referenced-by-count":68,"title":["\u03b1-Resolution principle based on lattice-valued propositional logic LP(X)"],"prefix":"10.1016","volume":"130","author":[{"given":"Yang","family":"Xu","sequence":"first","affiliation":[]},{"given":"Da","family":"Ruan","sequence":"additional","affiliation":[]},{"given":"Etienne E.","family":"Kerre","sequence":"additional","affiliation":[]},{"given":"Jun","family":"Liu","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"year":"1967","series-title":"Lattice Theory","author":"Birkhoff","key":"10.1016\/S0020-0255(00)00069-4_BIB1"},{"year":"1975","series-title":"An Algebraic Introduction to Mathematical Logic","author":"Borns","key":"10.1016\/S0020-0255(00)00069-4_BIB2"},{"year":"1992","series-title":"Many-Valued Logics","author":"Bolc","key":"10.1016\/S0020-0255(00)00069-4_BIB3"},{"year":"1952","series-title":"Many-Valued Logic","author":"Rosser","key":"10.1016\/S0020-0255(00)00069-4_BIB4"},{"year":"1969","series-title":"Many-Valued Logic","author":"Rescher","key":"10.1016\/S0020-0255(00)00069-4_BIB5"},{"issue":"3","key":"10.1016\/S0020-0255(00)00069-4_BIB6","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","article-title":"Fuzzy sets","volume":"8","author":"Zadeh","year":"1965","journal-title":"Information and Control"},{"key":"10.1016\/S0020-0255(00)00069-4_BIB7","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/BF00485654","article-title":"The logic of inexact concepts","volume":"19","author":"Goguen","year":"1969","journal-title":"Synthese"},{"key":"10.1016\/S0020-0255(00)00069-4_BIB8","doi-asserted-by":"crossref","unstructured":"J. Pavelka, On fuzzy logic I: Many-valued rules of inference, II: Enriched residuated lattices and semantics of propositional calculi, III: Semantical completeness of some many-valued propositional calculi, in: Zeitschr. F. Math. Logik und Grundlagend. Math, vol. 25, 1979, pp. 45\u201352, 119\u2013134, 447\u2013464","DOI":"10.1002\/malq.19790250706"},{"issue":"1","key":"10.1016\/S0020-0255(00)00069-4_BIB9","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/BF00396907","article-title":"First-order fuzzy logic","volume":"46","author":"Novak","year":"1982","journal-title":"Studia Logica"},{"key":"10.1016\/S0020-0255(00)00069-4_BIB10","unstructured":"D. Dubois, H. Prade, The generalized modus ponens under sup-min composition \u2013 A theoretical study, in: M.M. Gupta et al. (Eds.), Approximate Reasoning in Expert System, North-Holland, Amsterdam, 1985, pp. 217\u2013232"},{"key":"10.1016\/S0020-0255(00)00069-4_BIB11","doi-asserted-by":"crossref","unstructured":"D. Dubois, J. Lang, H. Prade, Fuzzy sets in approximate reasoning, Part I: Inference with possibility distributions, Part II: Logical approaches, Fuzzy Sets and Systems 40 (1991) 143\u2013202, 203\u2013244","DOI":"10.1016\/0165-0114(91)90050-Z"},{"key":"10.1016\/S0020-0255(00)00069-4_BIB12","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/321250.321253","article-title":"A machine-oriented logic based on the resolution principle","volume":"12","author":"Robinson","year":"1965","journal-title":"J. ACM"},{"year":"1978","series-title":"Automated Theorem Proving: A Logical Basis","author":"Loveland","key":"10.1016\/S0020-0255(00)00069-4_BIB13"},{"key":"10.1016\/S0020-0255(00)00069-4_BIB14","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1016\/0004-3702(82)90011-X","article-title":"Completely non-clausal theorem proving","volume":"18","author":"Murray","year":"1982","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0020-0255(00)00069-4_BIB15","doi-asserted-by":"crossref","unstructured":"X.H. Wang, X.H. Liu, Generalized resolution, J. Comput. (2) (1982) 81\u201392 (in Chinese)","DOI":"10.1016\/0165-0114(82)90032-X"},{"year":"1988","series-title":"Automated Reasoning: Basic Research Problems","author":"Wos","key":"10.1016\/S0020-0255(00)00069-4_BIB16"},{"key":"10.1016\/S0020-0255(00)00069-4_BIB17","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1016\/S0019-9958(71)90684-X","article-title":"Some properties of fuzzy logic","volume":"19","author":"Lee","year":"1971","journal-title":"Information and Control"},{"key":"10.1016\/S0020-0255(00)00069-4_BIB18","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1145\/321679.321688","article-title":"Fuzzy logic and the resolution principle","volume":"19","author":"Lee","year":"1972","journal-title":"J. ACM"},{"year":"1973","series-title":"Symbolic Logic and Mechanical Theorem Proving","author":"Chang","key":"10.1016\/S0020-0255(00)00069-4_BIB19"},{"issue":"2","key":"10.1016\/S0020-0255(00)00069-4_BIB20","first-page":"36","article-title":"On some properties of fuzzy logic","volume":"6","author":"Mukaidono","year":"1975","journal-title":"Syst. Comput. Control"},{"key":"10.1016\/S0020-0255(00)00069-4_BIB21","series-title":"Fuzzy Sets and Possibility Theory","first-page":"224","article-title":"Fuzzy inference of resolution style","author":"Mukaidono","year":"1982"},{"key":"10.1016\/S0020-0255(00)00069-4_BIB22","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/S0020-7373(85)80022-5","article-title":"Inference in a multiple-valued logic system","volume":"23","author":"Yager","year":"1985","journal-title":"Int. J. Man Machine Stud."},{"key":"10.1016\/S0020-0255(00)00069-4_BIB23","unstructured":"X.H. Liu, H. Xiao, Operator fuzzy logic and fuzzy resolution, in: Proceedings of the Fifth IEEE International Symposium on Multiple-Valued Logic (ISMVL '85), Kingstion, Canada, 1985, pp. 68\u201375"},{"key":"10.1016\/S0020-0255(00)00069-4_BIB24","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/BF00881864","article-title":"Fuzzy operator logic and fuzzy resolution","volume":"10","author":"Weigert","year":"1993","journal-title":"J. Autom. Reasoning"},{"year":"1994","series-title":"Resolution-based Automated Reasoning","author":"Liu","key":"10.1016\/S0020-0255(00)00069-4_BIB25"},{"key":"10.1016\/S0020-0255(00)00069-4_BIB26","first-page":"193","article-title":"Mechanical reasoning in fuzzy logics","volume":"110\u2013111","author":"Orlowska","year":"1985","journal-title":"Logique et Analyses"},{"key":"10.1016\/S0020-0255(00)00069-4_BIB27","unstructured":"X.H. Liu, Fuzzy Logic and Fuzzy Reasoning, Press of Ji Lin University, 1989 (in Chinese)"},{"key":"10.1016\/S0020-0255(00)00069-4_BIB28","unstructured":"D. Dubois, J. Lang, H. Prade, Theorem proving under uncertainty \u2013 A possibility theory based approach, in: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI '87), Mitano, Italy, 1987, pp. 984\u2013986"},{"key":"10.1016\/S0020-0255(00)00069-4_BIB29","unstructured":"D. Dubois, J. Lang, H. Prade, Automated reasoning using possibility logic semantics, belief revision and variable certainty weights, in: Proceedings of the Fifth Workshop on Uncertainty in Artificial Intelligence, Windor, Ontario, 1989, pp. 81\u201387"},{"issue":"1","key":"10.1016\/S0020-0255(00)00069-4_BIB30","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0888-613X(90)90006-N","article-title":"Resolution principle in possibilistic logic","volume":"4","author":"Dubois","year":"1990","journal-title":"Int. J. Approx. Reasoning"},{"issue":"74\u201376","key":"10.1016\/S0020-0255(00)00069-4_BIB31","first-page":"311","article-title":"Resolution for many-valued logics","volume":"19","author":"Morgan","year":"1976","journal-title":"Logique et Analyses"},{"issue":"1","key":"10.1016\/S0020-0255(00)00069-4_BIB32","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/FI-1978-2102","article-title":"The resolution principle for \u03c9+-valued logic","volume":"II","author":"Orlowska","year":"1978","journal-title":"Fundamenta Informaticae"},{"issue":"3","key":"10.1016\/S0020-0255(00)00069-4_BIB33","doi-asserted-by":"crossref","first-page":"333","DOI":"10.3233\/FI-1980-3306","article-title":"Resolution system and their application II","volume":"III","author":"Orlowska","year":"1980","journal-title":"Fundamenta Informaticae"},{"issue":"110","key":"10.1016\/S0020-0255(00)00069-4_BIB34","first-page":"173","article-title":"Mechanical proof methods for Post logics","volume":"28","author":"Orlowska","year":"1985","journal-title":"Logique et Analyses"},{"key":"10.1016\/S0020-0255(00)00069-4_BIB35","series-title":"Proceedings of the Eighth International Conference on Automated Deduction","first-page":"190","article-title":"Computational aspects of three-valued logic","author":"Schmitt","year":"1986"},{"key":"10.1016\/S0020-0255(00)00069-4_BIB36","doi-asserted-by":"crossref","unstructured":"R. Hahnle, Uniform notation tableau rules for multiple-valued logics, in: Proceedings of the International Symposium on Multiple-Valued Logic, Victoria, BC, 1991, pp. 238\u2013245","DOI":"10.1109\/ISMVL.1991.130736"},{"key":"10.1016\/S0020-0255(00)00069-4_BIB37","doi-asserted-by":"crossref","unstructured":"R. Hahnle, Towards an efficient tableau proof procedure for multiple-valued logics, in: Proceedings of the Workshop on Computer Science Logic, Lecture Notes in Computer Science, vol. 533, Springer, Berlin, 1990, pp. 248\u2013260","DOI":"10.1007\/3-540-54487-9_62"},{"year":"1993","series-title":"Automated Deduction in Multiple-Valued Logics","author":"Hahnle","key":"10.1016\/S0020-0255(00)00069-4_BIB38"},{"key":"10.1016\/S0020-0255(00)00069-4_BIB39","doi-asserted-by":"crossref","unstructured":"R. Hahnle, Short CNF in finitely-valued logics, in: J. Komorowski, Z.W. Ras (Eds.), in: Proceedings of the Seventh International Symposium on Methodologies for Intelligent Systems, 1993, pp. 49\u201358","DOI":"10.1007\/3-540-56804-2_5"},{"key":"10.1016\/S0020-0255(00)00069-4_BIB40","doi-asserted-by":"crossref","unstructured":"N.V. Murray, E. Rosenthal, Resolution and path dissolution in multiple-valued logics, in: Proceedings of the Sixth International Symposium on Methodologies for Intelligent Systems, Charlotte, Lecture Notes in Artificial Intelligence, vol. 542, 1991, pp. 570\u2013579","DOI":"10.1007\/3-540-54563-8_120"},{"key":"10.1016\/S0020-0255(00)00069-4_BIB41","doi-asserted-by":"crossref","unstructured":"N.V. Murray, E. Rosenthal, Improving tableau proof in multiple-valued logic, in: Proceedings of the 21st International Symposium on Multiple-valued Logic, Victoria, BC, Canada, 1991, pp. 230\u2013237","DOI":"10.1109\/ISMVL.1991.130735"},{"key":"10.1016\/S0020-0255(00)00069-4_BIB42","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/0304-3975(89)90126-6","article-title":"Paraconsistent logic programming","volume":"68","author":"Blair","year":"1989","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0020-0255(00)00069-4_BIB43","doi-asserted-by":"crossref","unstructured":"N.C.A. da Costa et al., Automated theorem proving in paraconsistent logics: theory and implementation, in: W. Kaiseralsutern (Ed.), Proceedings of the 10th International Conference on Automated Deduction, Lecture Notes in Artificial Intelligence, vol. 449, Springer, Berlin, 1990, pp. 72\u201386","DOI":"10.1007\/3-540-52885-7_80"},{"key":"10.1016\/S0020-0255(00)00069-4_BIB44","unstructured":"M. Kifer et al., On the expressive power of annotated logic program. in: Proceedings of the North American Conference on Logic Programming, Cleveland, OH, 1989, pp. 1069\u20131089"},{"key":"10.1016\/S0020-0255(00)00069-4_BIB45","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/0304-3975(92)90214-Z","article-title":"Paraconsistent disjunctive databases","volume":"93","author":"Subrahamnian","year":"1992","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0020-0255(00)00069-4_BIB46","doi-asserted-by":"crossref","unstructured":"M. Kifer, E. Lozinskii, RI: a logic for reasoning with inconsistency, in: Proceedings of the 21st International Symposium on Multiple-Valued Logic, 1991, pp. 253\u2013262","DOI":"10.1109\/LICS.1989.39180"},{"key":"10.1016\/S0020-0255(00)00069-4_BIB47","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1016\/0743-1066(92)90007-P","article-title":"Theory of generalized annotated logic programming and its application","volume":"12","author":"Kifer","year":"1992","journal-title":"J. Logic Programming"},{"key":"10.1016\/S0020-0255(00)00069-4_BIB48","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/0020-0190(92)90053-X","article-title":"The completeness of gp-resolution for annotated logic","volume":"44","author":"Lu","year":"1992","journal-title":"Inform. Process. Lett."},{"key":"10.1016\/S0020-0255(00)00069-4_BIB49","doi-asserted-by":"crossref","unstructured":"J.J. Lu, N.V. Murray, E. Rosenthal, Signed formulas and annotated logics, in: Proceedings of the 23th International Symposium on Multiple-Valued Logic, 1993, pp. 48\u201353","DOI":"10.1109\/ISMVL.1993.289582"},{"key":"10.1016\/S0020-0255(00)00069-4_BIB50","doi-asserted-by":"crossref","unstructured":"J.J. Lu, N.V. Murray, E. Rosenthal, Signed formulas and fuzzy operator logics, in: J. Komorowski, Z.W. Ras, Proceedings of the Seventh International Symposium on Methodologies for Intelligent Systems, 1993, pp. 75\u201384","DOI":"10.1007\/3-540-58495-1_8"},{"issue":"1","key":"10.1016\/S0020-0255(00)00069-4_BIB51","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/4904.4905","article-title":"Special relations in automated deduction","volume":"33","author":"Manna","year":"1986","journal-title":"J. ACM"},{"key":"10.1016\/S0020-0255(00)00069-4_BIB52","doi-asserted-by":"crossref","unstructured":"Z. Stachniak, The resolution rule: an algebraic perspective, in: Proceedings of Algebraic Logic and Universal Algebra in Computer Science Conference, Lecture Notes in Computer Science, vol. 425, Springer, Heidelberg, 1988, pp. 227\u2013242","DOI":"10.1007\/BFb0043087"},{"key":"10.1016\/S0020-0255(00)00069-4_BIB53","doi-asserted-by":"crossref","unstructured":"P. O'hearn and Z. Stachniak, Note on theorem proving strategies for resolution counterparts of non-classical logics, in: Proceedings of the International Symposium on Symbolic and Algebraic Computation, Poreland, Oregon, 1989, pp. 364\u2013372","DOI":"10.1145\/74540.74583"},{"key":"10.1016\/S0020-0255(00)00069-4_BIB54","doi-asserted-by":"crossref","unstructured":"Z. Stachniak, Resolution rule: algebraic perspective, in: Proceedings of the European Workshop on Logics in AI, Amsterdam, Lecture Notes in Computer Science, vol. 425, Springer, Berlin, 1990, pp. 227\u2013242","DOI":"10.1007\/BFb0043087"},{"key":"10.1016\/S0020-0255(00)00069-4_BIB55","doi-asserted-by":"crossref","unstructured":"Z. Stachniak, Resolution Proof Systems: An Algebraic Theory, Kluwer Academic Publishers, Netherlands, 1996","DOI":"10.1007\/978-94-009-1677-7"},{"key":"10.1016\/S0020-0255(00)00069-4_BIB56","doi-asserted-by":"crossref","unstructured":"M. Baaz, C.G. Fermuller, Resolution for many valued logics, in: A. Voronkv (Ed.), Proceedings of Logic Programming and Automated Reasoning (LPAR'92), Lecture Notes in Artificial Intelligence, vol. 624, Springer, Berlin, 1992, pp. 107\u2013118","DOI":"10.1007\/BFb0013053"},{"issue":"1","key":"10.1016\/S0020-0255(00)00069-4_BIB57","first-page":"20","article-title":"Lattice implication algebras","volume":"89","author":"Xu","year":"1993","journal-title":"J. Southwest Jiaotong University"},{"key":"10.1016\/S0020-0255(00)00069-4_BIB58","unstructured":"Y. Xu, Homomorphisms in latttice implication algebras, in: Proceedings of the Fifth Many-Valued Logical Congress of China, Nanjing, vol. 11, 1992, pp. 206\u2013211 (in Chinese)"},{"issue":"2","key":"10.1016\/S0020-0255(00)00069-4_BIB59","first-page":"139","article-title":"Lattice H implication algebras and class of lattice implication algebras","volume":"9","author":"Xu","year":"1992","journal-title":"J. Hebei Mining Civil Eng. College"},{"key":"10.1016\/S0020-0255(00)00069-4_BIB60","unstructured":"Y. Xu, K.Y. Qin, On lattice properties of lattice implication algebras, in: Collection Works on Applied Mathematics, Press of Chengdu University of Science and Technology, Chengdu, vol. 11, 1992, pp. 54\u201358 (in Chinese)"},{"issue":"2","key":"10.1016\/S0020-0255(00)00069-4_BIB61","first-page":"251","article-title":"On filters of lattice implication algebras","volume":"1","author":"Xu","year":"1993","journal-title":"J. Fuzzy Math. (Los Angeles)"},{"key":"10.1016\/S0020-0255(00)00069-4_BIB62","unstructured":"K.Y. Qin, Y. Xu, Lukasiewicz implication algebra on [0,1], in: Proceedings of the Fifth IFSA, Seoul, vol. 7, 1993, pp. 410\u2013412"},{"key":"10.1016\/S0020-0255(00)00069-4_BIB63","unstructured":"Y. Xu, K.Y. Qin, On the category of lattice implication algebras, in: Proceedings of the First Asian Fuzzy Systems Symposium, Singapore, vol. 11, 1993, pp. 1098\u20131101"},{"issue":"4","key":"10.1016\/S0020-0255(00)00069-4_BIB64","first-page":"14","article-title":"Characteristics of proper lattice implication algebras","volume":"10","author":"Xu","year":"1994","journal-title":"Chinese Quart. J. Math."},{"issue":"18","key":"10.1016\/S0020-0255(00)00069-4_BIB65","doi-asserted-by":"crossref","first-page":"1517","DOI":"10.1007\/BF02882921","article-title":"On filters and structure of lattice implication algebras","volume":"42","author":"Liu","year":"1997","journal-title":"Chinese Sci. Bull."},{"issue":"4","key":"10.1016\/S0020-0255(00)00069-4_BIB66","first-page":"1001","article-title":"On prime filters and decomposition theorem of lattice implication algebras","volume":"6","author":"Liu","year":"1998","journal-title":"J. Fuzzy Math. (Los Angeles)"},{"issue":"1","key":"10.1016\/S0020-0255(00)00069-4_BIB67","first-page":"251","article-title":"On the representation of lattice implication algebras","volume":"7","author":"Liu","year":"1999","journal-title":"J. Fuzzy Math. (Los Angeles)"},{"issue":"2","key":"10.1016\/S0020-0255(00)00069-4_BIB68","first-page":"193","article-title":"Implicative filters of lattice implication algebras","volume":"34","author":"Jun","year":"1997","journal-title":"Bull. Korean Math. Soc."},{"issue":"1","key":"10.1016\/S0020-0255(00)00069-4_BIB69","first-page":"53","article-title":"Positive implicative and associative filters of lattice implication algebras","volume":"35","author":"Jun","year":"1998","journal-title":"Bull. Korean Math. Soc."},{"issue":"1","key":"10.1016\/S0020-0255(00)00069-4_BIB70","first-page":"13","article-title":"LI-ideals in lattice implication algebras","volume":"35","author":"Jun","year":"1998","journal-title":"Bull. Korean Math. Soc."},{"issue":"1","key":"10.1016\/S0020-0255(00)00069-4_BIB71","first-page":"53","article-title":"On right regular maps of lattice implication algebras","volume":"10","author":"Jun","year":"1997","journal-title":"J. Inst. Math. Comp. Sci. (Math. Ser.) India"},{"issue":"4","key":"10.1016\/S0020-0255(00)00069-4_BIB72","first-page":"997","article-title":"Fuzzy LI-ideals in lattice implication algebras","volume":"7","author":"Jun","year":"1999","journal-title":"J. Fuzzy Math. (Los Angeles)"},{"issue":"4","key":"10.1016\/S0020-0255(00)00069-4_BIB73","first-page":"1013","article-title":"Quotient lattice implication algebras induced by fuzzy LI-ideals","volume":"7","author":"Jun","year":"1999","journal-title":"J. Fuzzy Math. (Los Angeles)"},{"issue":"2","key":"10.1016\/S0020-0255(00)00069-4_BIB74","first-page":"123","article-title":"Lattice-valued propositional logic (I)","volume":"1","author":"Xu","year":"1993","journal-title":"J. Southwest Jiaotong Univ."},{"issue":"1","key":"10.1016\/S0020-0255(00)00069-4_BIB75","first-page":"22","article-title":"Lattice-valued propositional logic (II)","volume":"2","author":"Qin","year":"1994","journal-title":"J. Southwest Jiaoong Univ."},{"issue":"17","key":"10.1016\/S0020-0255(00)00069-4_BIB76","first-page":"1052","article-title":"On syntax of first-order lattice-valued logic system FM","volume":"42","author":"Xu","year":"1997","journal-title":"Chinese Sci. Bull."},{"issue":"4","key":"10.1016\/S0020-0255(00)00069-4_BIB77","first-page":"371","article-title":"Compactness and Lowenheim-Skolem property of first-order lattice-valued logic system FM","volume":"43","author":"Qin","year":"1998","journal-title":"Chinese Sci. Bull."},{"key":"10.1016\/S0020-0255(00)00069-4_BIB78","first-page":"152","article-title":"Fuzzy propositional logic system FP(X)(I)","volume":"3","author":"Qin","year":"1994","journal-title":"J. Fuzzy Math. (Los Angeles)"},{"key":"10.1016\/S0020-0255(00)00069-4_BIB79","unstructured":"Y. Xu, K.Y. Qin, Fuzzy-valued propositional logic system FP*(X)(II), in: Proceedings of China Association for Science and Technology Second Academic Annual Meeting of Youths (Sichuan), Press of Southwest Jiaotong University, vol. 8, 1995, pp. 253\u2013257"},{"key":"10.1016\/S0020-0255(00)00069-4_BIB80","unstructured":"K.Y. Qin, Study on lattice-valued logic system based on lattice implication algebras and their applications, Ph.D. Thesis, Southwest Jiaotong University, 1996 (in Chinese)"},{"issue":"4","key":"10.1016\/S0020-0255(00)00069-4_BIB81","first-page":"5","article-title":"Lattice-valued propositional logic LP(X) (I)","volume":"11","author":"Qin","year":"1997","journal-title":"Fuzzy Sys. Math."},{"issue":"1","key":"10.1016\/S0020-0255(00)00069-4_BIB82","first-page":"10","article-title":"Lattice-valued propositional logic LP(X) (II)","volume":"12","author":"Qin","year":"1998","journal-title":"Fuzzy Sys. Math."},{"issue":"1\u20134","key":"10.1016\/S0020-0255(00)00069-4_BIB83","first-page":"205","article-title":"L-valued propositional logic Lvpl","volume":"114","author":"Xu","year":"1999","journal-title":"Inf. Sci."},{"issue":"1","key":"10.1016\/S0020-0255(00)00069-4_BIB84","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1080\/03081070008960924","article-title":"On semantics of L-valued first-order logic Lvfl","volume":"29","author":"Xu","year":"2000","journal-title":"Int. J. General Sys."},{"key":"10.1016\/S0020-0255(00)00069-4_BIB85","unstructured":"Y. Xu, Z.M. Song, K.Y. Qin, J. Liu, On syntax of L-valued first-order logic Lvfl, Int. J. Multiple-Valued Logic, in press"},{"issue":"2","key":"10.1016\/S0020-0255(00)00069-4_BIB86","first-page":"55","article-title":"Some kinds of approximate reasoning based on system LP(X)","volume":"12","author":"Qin","year":"1998","journal-title":"Fuzzy Sys. Math."},{"key":"10.1016\/S0020-0255(00)00069-4_BIB87","series-title":"Fuzzy IF\u2013THEN Rule in Computational Intelligence: Theory and Application","first-page":"81","article-title":"Approximate reasoning based on lattice-valued propositional logic Lvpl","author":"Xu","year":"2000"},{"key":"10.1016\/S0020-0255(00)00069-4_BIB88","unstructured":"Y. Xu, D. Ruan, J. Liu, Uncertainty automated reasoning in intelligent learning of soft knowledge, in: Proceedings of the ICST Whorkshop: Information and Communication Technology for Teaching and Training, 9\u201310 September 1999, pp. 29\u201345"},{"key":"10.1016\/S0020-0255(00)00069-4_BIB89","unstructured":"J. Liu, Study on lattice-valued logic system and lattice-valued resolution principle, Ph.D. Thesis, Southwest Jiaotong University, 1999 (in Chinese)"},{"key":"10.1016\/S0020-0255(00)00069-4_BIB90","unstructured":"J. Liu, Z.M. Song, K.Y. Qin, A resolution procedure based on a fuzzy logic, in: Proceedings of the Ninth IEEE International Conference on Fuzzy System (FUZZ-IEEE 2000), San Antonio, Texas, 2000"}],"container-title":["Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0020025500000694?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0020025500000694?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,12,4]],"date-time":"2024-12-04T19:37:23Z","timestamp":1733341043000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0020025500000694"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,12]]},"references-count":90,"journal-issue":{"issue":"1-4","published-print":{"date-parts":[[2000,12]]}},"alternative-id":["S0020025500000694"],"URL":"https:\/\/doi.org\/10.1016\/s0020-0255(00)00069-4","relation":{},"ISSN":["0020-0255"],"issn-type":[{"type":"print","value":"0020-0255"}],"subject":[],"published":{"date-parts":[[2000,12]]}}}