{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,17]],"date-time":"2025-04-17T16:28:50Z","timestamp":1744907330796},"reference-count":50,"publisher":"Springer Science and Business Media LLC","issue":"10","license":[{"start":{"date-parts":[[2012,6,29]],"date-time":"2012-06-29T00:00:00Z","timestamp":1340928000000},"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,10]]},"DOI":"10.1007\/s00500-012-0860-2","type":"journal-article","created":{"date-parts":[[2012,7,8]],"date-time":"2012-07-08T00:28:11Z","timestamp":1341707291000},"page":"1767-1781","source":"Crossref","is-referenced-by-count":13,"title":["General form of \u03b1-resolution principle for linguistic truth-valued lattice-valued logic"],"prefix":"10.1007","volume":"16","author":[{"given":"Xiaomei","family":"Zhong","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":[[2012,6,29]]},"reference":[{"key":"860_CR1","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/S0304-3975(00)00044-X","volume":"266","author":"G Aguilera","year":"2001","unstructured":"Aguilera G, de Guzm\u00e1n L, Ojeda-Aciego M, Valverde A (2001) Reductions for non-clausal theorem proving. Theor Comput Sci 266:81\u2013112","journal-title":"Theor Comput Sci"},{"key":"860_CR2","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1006\/jsco.1995.1021","volume":"19","author":"M Baaz","year":"1995","unstructured":"Baaz M, Ferm\u00fcller CG (1995) Resolution-based theorem proving for many-valued logics. J Symbol Comput 19:353\u2013391","journal-title":"J Symbol Comput"},{"key":"860_CR3","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/0168-0072(92)90042-X","volume":"57","author":"M Baaz","year":"1992","unstructured":"Baaz M, Leitsch A (1992) Complexity of resolution proofs and function introduction. Ann Pure Appl Logic 57:181\u2013215","journal-title":"Ann Pure Appl Logic"},{"issue":"1","key":"860_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0888-613X(90)90006-N","volume":"4","author":"D Dubois","year":"1990","unstructured":"Dubois D, Prade H (1990) Resolution principle in possibilistic logic. Int J Approx Reason 4(1):1\u201321","journal-title":"Int J Approx Reason"},{"key":"860_CR5","unstructured":"Dubois D, Lang J, Prade H (1987) Theorem proving under uncertainty\u2014a possibility theory based approach. In: Proceedings of the international joint conference on artificial intelligence (IJCAI\u201987), Milano, Italy, pp 984\u2013986"},{"key":"860_CR6","unstructured":"Dubois D, Lang J, Prade H (1989) Automated reasoning using possibility logic semantics, belief revision and variable certainty weights. In: Proceedings of the fifth workshop on uncertainty in artificial intelligence, Windsor, Ontario, pp 81\u201387"},{"key":"860_CR7","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1023\/A:1004952317276","volume":"59","author":"DM Gabbay","year":"1997","unstructured":"Gabbay DM, Reyle U (1997) Labelled resolution for classical and non-classical logics. Stud Log 59:179\u2013216","journal-title":"Stud Log"},{"key":"860_CR8","doi-asserted-by":"crossref","first-page":"1031","DOI":"10.1016\/j.fss.2007.10.001","volume":"159","author":"D Guller","year":"2008","unstructured":"Guller D (2008) Binary resolution over complete residuated stone lattices. Fuzzy Sets Syst 159:1031\u20131041","journal-title":"Fuzzy Sets Syst"},{"key":"860_CR9","unstructured":"Hahnle R (1990) 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, pp 248\u2013260"},{"key":"860_CR10","doi-asserted-by":"crossref","unstructured":"Hahnle R (1991) Uniform notation tableau rules for multiple-valued logics. In: Proceedings of the international symposium on multiple-valued logic, Victoria, BC, pp 238\u2013245","DOI":"10.1109\/ISMVL.1991.130736"},{"key":"860_CR11","volume-title":"Automated deduction in multiple-valued logics","author":"R Hahnle","year":"1993","unstructured":"Hahnle R (1993a) Automated deduction in multiple-valued logics. Oxford University Press, Oxford"},{"key":"860_CR12","doi-asserted-by":"crossref","unstructured":"Hahnle R (1993b) Short CNF in finitely-valued logics. In: Komorowski J, Ras ZW (eds) Proceedings of the seventh international symposium on methodologies for intelligent systems, pp 49\u201358","DOI":"10.1007\/3-540-56804-2_5"},{"key":"860_CR13","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1145\/321679.321688","volume":"19","author":"RCT Lee","year":"1972","unstructured":"Lee RCT (1972) Fuzzy logic and the resolution principle. J ACM 19:109\u2013119","journal-title":"J ACM"},{"key":"860_CR14","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1016\/S0019-9958(71)90684-X","volume":"19","author":"RCT Lee","year":"1971","unstructured":"Lee RCT, Chang CL (1971) Some properties of fuzzy logic. Inf Control 19:417\u2013431","journal-title":"Inf Control"},{"key":"860_CR15","first-page":"262","volume":"6","author":"XB Li","year":"2008","unstructured":"Li XB, Qiu XP, Chang ZY, Xu Y (2008) The properties of \u03b1-resolution and J-resolution based on lattice-valued propositional logic system. Chin Q J Math 6:262\u2013269 (in Chinese)","journal-title":"Chin Q J Math"},{"key":"860_CR16","unstructured":"Liu XH (1989) Fuzzy logic and fuzzy reasoning, Press of Ji Lin University, Changchun (in Chinese)"},{"key":"860_CR17","volume-title":"Resolution-based automated reasoning","author":"XH Liu","year":"1994","unstructured":"Liu XH (1994) Resolution-based automated reasoning. Academic Press, China (in Chinese)"},{"key":"860_CR18","unstructured":"Liu XH, Xiao H (1985) Operator fuzzy logic and fuzzy resolution. In: Proceedings of the fifth IEEE international symposium on multiple-valued logic (ISMVL\u201985), Kingston, Canada, pp 68\u201375"},{"key":"860_CR19","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 (2007) Filter-based resolution principle for lattice-valued propositional logic LP(X). Inf Sci 177:1046\u20131062","journal-title":"Inf Sci"},{"key":"860_CR20","unstructured":"Meng D, Xu Y, Jia HD (2005) Resolution principle based on six lattice-valued first-order logic L6F(X). In: Proceedings of 2005 IEEE networking, sensing and control conference, 2005, pp 838\u2013843"},{"issue":"74\u201376","key":"860_CR21","first-page":"311","volume":"19","author":"CG Morgan","year":"1976","unstructured":"Morgan CG (1976) Resolution for many-valued logics. Logique et Analyses 19(74\u201376):311\u2013339","journal-title":"Logique et Analyses"},{"issue":"2","key":"860_CR22","first-page":"36","volume":"6","author":"M Mukaidono","year":"1975","unstructured":"Mukaidono M (1975) On some properties of fuzzy logic. Syst Comput Control 6(2):36\u201343","journal-title":"Syst Comput Control"},{"key":"860_CR23","first-page":"224","volume-title":"Fuzzy sets and possibility theory","author":"M Mukaidono","year":"1982","unstructured":"Mukaidono M (1982) Fuzzy inference of resolution style. In: Yager RR (ed) Fuzzy sets and possibility theory. Pergamon Press, New York, pp 224\u2013231"},{"key":"860_CR24","unstructured":"Murray NV, Rosenthal E (1991) 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, pp 570\u2013579"},{"key":"860_CR25","unstructured":"Murray NV, Rosenthal E (1991) Improving tableau proof in multiple-valued logic. In: Proceedings of the 21st international symposium on multiple-valued logic, Victoria, BC, Canada, pp 230\u2013237"},{"issue":"1","key":"860_CR26","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/FI-1978-2102","volume":"II","author":"E Orlowska","year":"1978","unstructured":"Orlowska E (1978) The resolution principle for \u03c9+-valued logic. Fundamenta Informaticae II(1):1\u201315","journal-title":"Fundamenta Informaticae"},{"issue":"3","key":"860_CR27","doi-asserted-by":"crossref","first-page":"333","DOI":"10.3233\/FI-1980-3306","volume":"III","author":"E Orlowska","year":"1980","unstructured":"Orlowska E (1980) Resolution system and their application II. Fundamenta Informaticae III(3):333\u2013362","journal-title":"Fundamenta Informaticae"},{"issue":"110","key":"860_CR28","first-page":"173","volume":"28","author":"E Orlowska","year":"1985","unstructured":"Orlowska E (1985) Mechanical proof methods for Post logics. Logique et Analyses 28(110):173\u2013192","journal-title":"Logique et Analyses"},{"key":"860_CR29","first-page":"193","volume":"110\u2013111","author":"E Orlowska","year":"1985","unstructured":"Orlowska E, Wierzchon S (1985) Mechanical reasoning in fuzzy logics. Logique et Analyses 110\u2013111:193\u2013207","journal-title":"Logique et Analyses"},{"key":"860_CR30","doi-asserted-by":"crossref","unstructured":"Pei Z, Ruan D, Liu J, Xu Y (2009) Linguistic values based intelligent information processing: theory, methods, and applications. Atlantis Press\/World Scientific, Paris\/Singapore","DOI":"10.2991\/978-94-91216-28-2"},{"issue":"4","key":"860_CR31","first-page":"5","volume":"11","author":"KY Qin","year":"1997","unstructured":"Qin KY, Xu Y, Song ZM (1997) Lattice-valued propositional logic LP(X) (I). Fuzzy Syst Math 11(4):5\u201310 (in Chinese)","journal-title":"Fuzzy Syst Math"},{"key":"860_CR32","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"JP Robinson","year":"1965","unstructured":"Robinson JP (1965) A machine-oriented logic based on the resolution principle. J ACM 12:23\u201341","journal-title":"J ACM"},{"key":"860_CR33","doi-asserted-by":"crossref","unstructured":"Schmitt PH (1986) Computational aspects of three-valued logic. In: Siekmann JH (ed) Proceedings of the eighth international conference on automated deduction, Springer, Berlin, pp 190\u2013198","DOI":"10.1007\/3-540-16780-3_90"},{"key":"860_CR34","unstructured":"Wang W (2007) Research on resolution principle based on L6P(X), Southwest Jiaotong University Postdoctoral Research Report (in Chinese)"},{"issue":"4","key":"860_CR35","first-page":"877","volume":"11","author":"W Wang","year":"2003","unstructured":"Wang W, Xu Y, Qin KY (2003) The structure and \u03b1-resolution field of indecomposable extremely simple forms of lattice-valued propositional logic LP(X). J Fuzzy Math 11(4):877\u2013891","journal-title":"J Fuzzy Math"},{"key":"860_CR36","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/BF00881864","volume":"10","author":"TJ Weigert","year":"1993","unstructured":"Weigert TJ, Tsai JP, Liu XH (1993) Fuzzy operator logic and fuzzy resolution. J Autom Reason 10:59\u201378","journal-title":"J Autom Reason"},{"issue":"2","key":"860_CR37","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"},{"key":"860_CR38","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:195\u2013223","journal-title":"Inf Sci"},{"key":"860_CR39","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 lattice-valued first-order lattice-valued logic LF(X). Inf Sci 132:221\u2013239","journal-title":"Inf Sci"},{"key":"860_CR40","doi-asserted-by":"crossref","unstructured":"Xu Y, Ruan D, Qin KY, Liu J (2003) Lattice-valued logic: an alternative approach to treat fuzziness and incomparability, ISBN-3-540-40175-X. Springer, Heidelberg","DOI":"10.1007\/978-3-540-44847-1"},{"key":"860_CR41","unstructured":"Xu Y, Chen SW, Ma J (2006) Linguistic truth-valued lattice implication algebra and its properties. In: Proceedings of the IMACS MuLticonference on computational engineering in systems applications (CESA2006), Beijing, China, 2006, pp 1413\u20131418"},{"key":"860_CR42","doi-asserted-by":"crossref","unstructured":"Xu Y, Chen SW, Liu J, Ruan D (2007a) Weak completeness of resolution in a linguistic truth-valued propositional logic. In: Proceedings of the IFSA2007: theoretical advances and applications of fuzzy logic and soft computing (IFSA2007), Cancun, Mexico, 2007, pp 358\u2013366","DOI":"10.1007\/978-3-540-72434-6_36"},{"key":"860_CR43","doi-asserted-by":"crossref","unstructured":"Xu Y, Li XB, Liu J, Ruan D (2007b) Determination of \u03b1-resolution for lattice-valued first-order logic based on lattice implication algebra. In: Proceedings of the 2007 international conference on intelligent systems and knowledge engineering, Chengdu, China, 2007, pp 1567\u20131573","DOI":"10.2991\/iske.2007.281"},{"key":"860_CR44","doi-asserted-by":"crossref","unstructured":"Xu Y, Xu WT, Zhong XM, He XX (2010) \u03b1-generalized resolution principle based on lattice-valued propositional logic LP(X). In: Proceedings of the 9th international FLINS conference (FLINS2010), Emei, Chengdu, China, 2010, pp 66\u201371","DOI":"10.1142\/9789814324700_0008"},{"key":"860_CR45","doi-asserted-by":"crossref","unstructured":"Xu Y, Zhong XM, Liu J, Chen SW (2011a) General form of \u03b1-resolution principle based on lattice-valued logic with truth-value in lattice implication algebras. Inf Sci (submitted)","DOI":"10.1007\/s00500-012-0860-2"},{"key":"860_CR46","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 (2011b) Determination of \u03b1-resolution in lattice-valued first-order logic LF(X). Inf Sci 181:1836\u20131862","journal-title":"Inf Sci"},{"key":"860_CR47","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/S0020-7373(85)80022-5","volume":"23","author":"RR Yager","year":"1985","unstructured":"Yager RR (1985) Inference in a multiple-valued logic system. Int J Man Mach Stud 23:27\u201344","journal-title":"Int J Man Mach Stud"},{"issue":"4\u20135","key":"860_CR48","first-page":"335","volume":"19","author":"L Zou","year":"2008","unstructured":"Zou L, Ruan D, Pei Z, Xu Y (2008) A linguistic truth-valued reasoning approach in decision making with incomparable information. J Intell Fuzzy Syst 19(4\u20135):335\u2013343","journal-title":"J Intell Fuzzy Syst"},{"issue":"12","key":"860_CR49","first-page":"4745","volume":"5","author":"L Zou","year":"2009","unstructured":"Zou L, Pei Z, Liu X, Xu Y (2009) Semantics of linguistic truth-valued intuitionistic fuzzy proposition calculus. Int J Innov Comput Inf Control 5(12):4745\u20134752","journal-title":"Int J Innov Comput Inf Control"},{"key":"860_CR50","first-page":"293","volume":"17","author":"L Zou","year":"2011","unstructured":"Zou L, Ruan D, Pei Z, Xu Y (2011) A linguistic-valued lattice implication algebra approach for risk analysis. J Multi-Valued Logic Soft Comput 17:293\u2013303","journal-title":"J Multi-Valued Logic Soft Comput"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-012-0860-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00500-012-0860-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-012-0860-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,20]],"date-time":"2022-01-20T16:30:22Z","timestamp":1642696222000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00500-012-0860-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6,29]]},"references-count":50,"journal-issue":{"issue":"10","published-print":{"date-parts":[[2012,10]]}},"alternative-id":["860"],"URL":"https:\/\/doi.org\/10.1007\/s00500-012-0860-2","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"value":"1432-7643","type":"print"},{"value":"1433-7479","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,6,29]]}}}