{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,19]],"date-time":"2025-11-19T06:44:17Z","timestamp":1763534657567},"reference-count":70,"publisher":"Elsevier BV","issue":"1-4","license":[{"start":{"date-parts":[[2001,2,1]],"date-time":"2001-02-01T00:00:00Z","timestamp":980985600000},"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":[[2001,2]]},"DOI":"10.1016\/s0020-0255(01)00065-2","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T17:19:59Z","timestamp":1027617599000},"page":"221-239","source":"Crossref","is-referenced-by-count":69,"title":["\u03b1-Resolution principle based on first-order lattice-valued logic LF(X)"],"prefix":"10.1016","volume":"132","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":[{"key":"10.1016\/S0020-0255(01)00065-2_BIB1","doi-asserted-by":"crossref","unstructured":"M. Baaz, C.G. Fermuller, Resolution for many valued logics, in: A. Voronkv (Ed.), Proceedings of the Logic Programming and Automated Reasoning LPAR'92, Springer, LNAI 624, 1992, pp. 107\u2013118","DOI":"10.1007\/BFb0013053"},{"key":"10.1016\/S0020-0255(01)00065-2_BIB2","unstructured":"G. Birkhoff, Lattice Theory, third ed., American Mathematical Society, Providence, R.L, 1967"},{"key":"10.1016\/S0020-0255(01)00065-2_BIB3","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":"Theoretical Computer Science"},{"key":"10.1016\/S0020-0255(01)00065-2_BIB4","series-title":"Many-Valued Logics, 1: Theoretical Foundation","author":"Bolc","year":"1992"},{"key":"10.1016\/S0020-0255(01)00065-2_BIB5","series-title":"An Algebraic Introduction to Mathematical Logic","author":"Borns","year":"1975"},{"key":"10.1016\/S0020-0255(01)00065-2_BIB6","series-title":"Symbolic Logic and Mechanical Theorem Proving","author":"Chang","year":"1973"},{"key":"10.1016\/S0020-0255(01)00065-2_BIB7","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, Germany, Lecture Notes in Artificial Intelligence, Springer, vol. 449, 1990, pp. 72\u201386","DOI":"10.1007\/3-540-52885-7_80"},{"issue":"1","key":"10.1016\/S0020-0255(01)00065-2_BIB8","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":"International Journal of Approximate Reasoning"},{"key":"10.1016\/S0020-0255(01)00065-2_BIB9","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) pp. 143\u2013202, 203\u2013244","DOI":"10.1016\/0165-0114(91)90050-Z"},{"key":"10.1016\/S0020-0255(01)00065-2_BIB10","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(01)00065-2_BIB11","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, Victora, BC, 1991, pp. 238\u2013245","DOI":"10.1109\/ISMVL.1991.130736"},{"issue":"2","key":"10.1016\/S0020-0255(01)00065-2_BIB12","first-page":"193","article-title":"Implicative filters of lattice implication algebras","volume":"34","author":"Jun","year":"1997","journal-title":"Bulletin of the Korean Mathematics Society"},{"issue":"1","key":"10.1016\/S0020-0255(01)00065-2_BIB13","first-page":"53","article-title":"Positive implicative and associative filters of lattice implication algebras","volume":"35","author":"Jun","year":"1998","journal-title":"Bulletin of the Korean Mathematics Society"},{"issue":"1","key":"10.1016\/S0020-0255(01)00065-2_BIB14","first-page":"13","article-title":"LI-ideals in lattice implication algebras","volume":"35","author":"Jun","year":"1998","journal-title":"Bulletin of the Korean Mathematics Society"},{"key":"10.1016\/S0020-0255(01)00065-2_BIB15","unstructured":"Y.B. Jun, Y. Xu, On right regular maps of lattice implication algebras, Journal of the Institute of Mathematics and Computer Science (Math. Ser.), India, 10 (1) (1997) 53\u201358"},{"key":"10.1016\/S0020-0255(01)00065-2_BIB16","unstructured":"M. Kifer, et al., On the expressive power of annotated logic program, in: Proceedings of the 1989 North American Conference on Logic Programming, Cleveland, OH, pp. 1069\u20131089"},{"key":"10.1016\/S0020-0255(01)00065-2_BIB17","first-page":"253","article-title":"RI: a logic for reasoning with inconsistency","author":"Kifer","year":"1991","journal-title":"IEEE of the International Symposium on Multiple-Valued Logic"},{"key":"10.1016\/S0020-0255(01)00065-2_BIB18","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":"Journal of Logic Programming"},{"key":"10.1016\/S0020-0255(01)00065-2_BIB19","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(01)00065-2_BIB20","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":"Journal of ACM"},{"issue":"18","key":"10.1016\/S0020-0255(01)00065-2_BIB21","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 Science Bulletin"},{"issue":"4","key":"10.1016\/S0020-0255(01)00065-2_BIB22","first-page":"1001","article-title":"On prime filters and decomposition theorem of lattice implication algebras","volume":"6","author":"Liu","year":"1998","journal-title":"Journal of Fuzzy Mathematics"},{"issue":"1","key":"10.1016\/S0020-0255(01)00065-2_BIB23","first-page":"251","article-title":"On the representation of lattice implication algebras","volume":"7","author":"Liu","year":"1999","journal-title":"Journal of Fuzzy Mathematics (Los Angeles)"},{"key":"10.1016\/S0020-0255(01)00065-2_BIB24","unstructured":"J. Liu, Study on lattice-valued logic system and lattice-valued resolution based on lattice implication algebras, Ph.D. thesis, Southwest Jiaotong University, 1999"},{"key":"10.1016\/S0020-0255(01)00065-2_BIB25","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 Systems (FUZZ-IEEE 2000): Soft Computing in the Information Age, San Antonio, Texas, USA, 7\u20138 May 2000"},{"issue":"2","key":"10.1016\/S0020-0255(01)00065-2_BIB26","first-page":"81","article-title":"Operator fuzzy logic and \u03bb-resolution","author":"Liu","year":"1989","journal-title":"Journal of Computer"},{"key":"10.1016\/S0020-0255(01)00065-2_BIB27","unstructured":"X.H. Liu, H. Xiao, Operator fuzzy logic and fuzzy resolution, in: Proceedings of the Fifth IEEE International Symposium on Multiple-Valued Logic (ISMUL 85) Kingstion, Canada, 1985, pp. 68\u201375"},{"key":"10.1016\/S0020-0255(01)00065-2_BIB28","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/0020-0190(92)90053-X","article-title":"The completeness of gp-resolution for annotated logics","volume":"44","author":"Lu","year":"1992","journal-title":"Information Processing Letters"},{"key":"10.1016\/S0020-0255(01)00065-2_BIB29","doi-asserted-by":"crossref","unstructured":"J.J. Lu, N.V. Murray, E. Rosenthal, Signed formulas and annotated logics, in: Proceedings of the 23th IEEE International Symposium on Multiple-Valued Logic, 1993, pp. 48\u201353","DOI":"10.1109\/ISMVL.1993.289582"},{"key":"10.1016\/S0020-0255(01)00065-2_BIB30","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 (Eds.), Proceedings of the Seventh International Symposium on Methodologies for Intelligent Systems, 1993, pp. 75\u201384","DOI":"10.1007\/3-540-58495-1_8"},{"issue":"74\u201376","key":"10.1016\/S0020-0255(01)00065-2_BIB31","first-page":"311","article-title":"Resolution for many-valued logics","volume":"19","author":"Morgan","year":"1976","journal-title":"Logique et Analyse"},{"issue":"2","key":"10.1016\/S0020-0255(01)00065-2_BIB32","first-page":"36","article-title":"On some properties of fuzzy logic","volume":"6","author":"Mukaidono","year":"1975","journal-title":"Systems\u2013Computers\u2013Controls"},{"key":"10.1016\/S0020-0255(01)00065-2_BIB33","unstructured":"M. Mukaidono, Fuzzy inference of resolution style, in: R.R. Yager (Ed.), Fuzzy Sets and Possibility Theory, Pergamon Press, New York, 1982, pp. 224\u2013231"},{"key":"10.1016\/S0020-0255(01)00065-2_BIB34","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(01)00065-2_BIB35","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, 1991, Lecture Notes in Artificial Intelligence, vol. 542, pp. 570\u2013579","DOI":"10.1007\/3-540-54563-8_120"},{"issue":"1","key":"10.1016\/S0020-0255(01)00065-2_BIB36","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(01)00065-2_BIB37","series-title":"Fuzzy Sets Their Applications","author":"Novak","year":"1989"},{"key":"10.1016\/S0020-0255(01)00065-2_BIB38","unstructured":"V. Novak, On the syntactico-semantical completeness of first order fuzzy logic, Parts 1, 2, Kybernetika, 26 (1990) pp. 47\u201366, 134\u2013154"},{"issue":"1","key":"10.1016\/S0020-0255(01)00065-2_BIB39","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(01)00065-2_BIB40","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(01)00065-2_BIB41","first-page":"173","article-title":"Mechanical proof methods for post logics","volume":"28","author":"Orlowska","year":"1985","journal-title":"Logique et Analyse"},{"key":"10.1016\/S0020-0255(01)00065-2_BIB42","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, Zeitschr. F. Math. Logik und Grundlagend. Math., 25 (1979) 45\u201352, 119\u2013134, 447\u2013464"},{"issue":"1","key":"10.1016\/S0020-0255(01)00065-2_BIB43","first-page":"22","article-title":"Lattice-valued propositional logic (II)","volume":"2","author":"Qin","year":"1994","journal-title":"Journal of Southwest Jiaotong University"},{"issue":"4","key":"10.1016\/S0020-0255(01)00065-2_BIB44","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 Science Bulletin"},{"issue":"2","key":"10.1016\/S0020-0255(01)00065-2_BIB45","first-page":"55","article-title":"Some kinds of approximate reasoning based on system LP(X)","volume":"12","author":"Qin","year":"1998","journal-title":"Fuzzy Systems and Mathematics"},{"key":"10.1016\/S0020-0255(01)00065-2_BIB46","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"},{"key":"10.1016\/S0020-0255(01)00065-2_BIB47","series-title":"Many-Valued Logic","author":"Rescher","year":"1969"},{"key":"10.1016\/S0020-0255(01)00065-2_BIB48","series-title":"Many-Valued Logic","author":"Rosser","year":"1952"},{"key":"10.1016\/S0020-0255(01)00065-2_BIB49","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":"Journal of ACM"},{"key":"10.1016\/S0020-0255(01)00065-2_BIB50","doi-asserted-by":"crossref","unstructured":"P.H. Schmitt, Computational aspects of three-valued logic, in: J.H. Siekmann (Ed.), Proceedings of the Eighth International Conference on Automated Deduction, Springer, LNCS, 1986, pp. 190\u2013198","DOI":"10.1007\/3-540-16780-3_90"},{"key":"10.1016\/S0020-0255(01)00065-2_BIB51","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, Springer LNCS 425, Heidelberg, 1988, pp. 227\u2013242","DOI":"10.1007\/BFb0043087"},{"key":"10.1016\/S0020-0255(01)00065-2_BIB52","series-title":"Resolution Proof Systems: An Algebraic Theory","author":"Stachniak","year":"1996"},{"key":"10.1016\/S0020-0255(01)00065-2_BIB53","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":"Theoretical Computer Science"},{"issue":"2","key":"10.1016\/S0020-0255(01)00065-2_BIB54","first-page":"81","article-title":"Generalized resolution","author":"Wang","year":"1982","journal-title":"Journal of Computer"},{"issue":"1","key":"10.1016\/S0020-0255(01)00065-2_BIB55","first-page":"20","article-title":"Lattice implication algebras","volume":"89","author":"Xu","year":"1993","journal-title":"Journal of Southwest Jiaotong University"},{"key":"10.1016\/S0020-0255(01)00065-2_BIB56","unstructured":"Y. Xu, Homomorphisms in lattice implication algebras, in: Proceedings of the Fifth Many-Valued Logical Congress of China, Nanjing, 1992, vol. 11, pp. 206\u2013211 (in Chinese)"},{"issue":"2","key":"10.1016\/S0020-0255(01)00065-2_BIB57","first-page":"139","article-title":"Lattice H implication algebras and class of lattice implication algebras","volume":"9","author":"Xu","year":"1992","journal-title":"Journal of Hebei Mining and Civil Engineering College"},{"key":"10.1016\/S0020-0255(01)00065-2_BIB58","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, 1992, vol. 11, pp. 54\u201358 (in Chinese)"},{"key":"10.1016\/S0020-0255(01)00065-2_BIB59","unstructured":"Y. Xu, K.Y. Qin, On the category of lattice implication algebras, in: Proceedings of the First Asian Fuzzy Systems Symposium, Singapore, 1993, vol. 11, pp. 1098\u20131101"},{"issue":"2","key":"10.1016\/S0020-0255(01)00065-2_BIB60","first-page":"251","article-title":"On filters of lattice implication algebras","volume":"1","author":"Xu","year":"1993","journal-title":"Journal of Fuzzy Mathematics"},{"issue":"4","key":"10.1016\/S0020-0255(01)00065-2_BIB61","first-page":"14","article-title":"Characteristics of proper lattice implication algebras","volume":"10","author":"Xu","year":"1994","journal-title":"Chinese Quarterly Journal of Mathematics"},{"issue":"1","key":"10.1016\/S0020-0255(01)00065-2_BIB62","first-page":"22","article-title":"Lattice-valued propositional logic (I)","volume":"2","author":"Xu","year":"1994","journal-title":"Journal of Southwest Jiaotong University"},{"issue":"17","key":"10.1016\/S0020-0255(01)00065-2_BIB63","first-page":"1052","article-title":"On syntax of first-order lattice-valued logic system FM","volume":"42","author":"Xu","year":"1997","journal-title":"Chinese Science Bulletin"},{"key":"10.1016\/S0020-0255(01)00065-2_BIB64","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1016\/S0020-0255(98)10053-1","article-title":"L-valued propositional logic Lvpl","volume":"114","author":"Xu","year":"1999","journal-title":"Information Sciences"},{"issue":"1","key":"10.1016\/S0020-0255(01)00065-2_BIB65","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":"International Journal of General System"},{"key":"10.1016\/S0020-0255(01)00065-2_BIB66","unstructured":"Y. Xu, Z.M. Song, K.Y. Qin, J. Liu, On syntax of L-valued first-order logic Lvfl International Journal of Multiple-valued Logic, Gordon and Breach Science Publishers, London, in press"},{"key":"10.1016\/S0020-0255(01)00065-2_BIB67","doi-asserted-by":"crossref","unstructured":"Y.Y. Xu, D. Ruan, E.E. Kerre, J. Liu, Approximate reasoning based on lattice-valued propositional logic Lvpl, in: D. Ruan, E.E. Kerre (Eds.), Fuzzy IF-THEN Rule in Computational Intelligence: Theory and Application, Kluwer Academic Publishers, Dordrecht, 2000, pp. 81\u2013106","DOI":"10.1007\/978-1-4615-4513-2_5"},{"key":"10.1016\/S0020-0255(01)00065-2_BIB68","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0020-0255(00)00069-4","article-title":"\u03b1-resolution principle based on lattice-valued propositional logic LP(X)","volume":"130","author":"Xu","year":"2000","journal-title":"Information Sciences"},{"key":"10.1016\/S0020-0255(01)00065-2_BIB69","doi-asserted-by":"crossref","first-page":"24","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":"International Journal of Man\u2013Machine Studies"},{"key":"10.1016\/S0020-0255(01)00065-2_BIB70","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","article-title":"Fuzzy sets","volume":"12","author":"Zadeh","year":"1965","journal-title":"Information and Control"}],"container-title":["Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0020025501000652?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0020025501000652?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2023,4,10]],"date-time":"2023-04-10T23:09:18Z","timestamp":1681168158000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0020025501000652"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,2]]},"references-count":70,"journal-issue":{"issue":"1-4","published-print":{"date-parts":[[2001,2]]}},"alternative-id":["S0020025501000652"],"URL":"https:\/\/doi.org\/10.1016\/s0020-0255(01)00065-2","relation":{},"ISSN":["0020-0255"],"issn-type":[{"value":"0020-0255","type":"print"}],"subject":[],"published":{"date-parts":[[2001,2]]}}}