{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,17]],"date-time":"2025-04-17T16:28:54Z","timestamp":1744907334198},"reference-count":111,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Fuzzy Syst."],"published-print":{"date-parts":[[2013,10]]},"DOI":"10.1109\/tfuzz.2012.2236095","type":"journal-article","created":{"date-parts":[[2012,12,21]],"date-time":"2012-12-21T19:05:00Z","timestamp":1356116700000},"page":"898-912","source":"Crossref","is-referenced-by-count":15,"title":["Multiary \u03b1-Resolution Principle for a Lattice-Valued Logic"],"prefix":"10.1109","volume":"21","author":[{"given":"Yang","family":"Xu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jun","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaomei","family":"Zhong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shuwei","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/568781.568783"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/s005000100127"},{"key":"ref33","first-page":"877","article-title":"The structure and ?-resolution field of indecomposable extremely simple forms of lattice-valued propositional logic LP(X)","volume":"11","author":"wang","year":"2003","journal-title":"J Fuzzy Math"},{"key":"ref32","author":"h\ufffdjek","year":"2000","journal-title":"Metamathematics of Fuzzy Logic"},{"key":"ref31","author":"gottwald","year":"2001","journal-title":"A Treatise on Many-Valued Logics Studies in Logic and Computation"},{"key":"ref30","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-9480-6","author":"cignoli","year":"2000","journal-title":"Algebraic Foundations of Many-Valued Reasoning"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.2307\/2274395"},{"key":"ref36","first-page":"495","author":"broda","year":"2000","journal-title":"Discovering the world with Fuzzy Logic"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00044-X"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1002\/int.10069"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2005.05.029"},{"key":"ref27","author":"nov\ufffdk","year":"2000","journal-title":"Mathematical Principles of Fuzzy Logic"},{"key":"ref29","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-08494-6","author":"bolc","year":"1992","journal-title":"Many-Valued Logics"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/s00500-011-0779-z"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/0022-247X(67)90189-8"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2006.07.027"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19790250304"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/BF00485654"},{"key":"ref26","author":"nov\ufffdk","year":"1989","journal-title":"Fuzzy Sets and Their Applications"},{"key":"ref101","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2005.10.010"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/BF00396907"},{"key":"ref100","doi-asserted-by":"publisher","DOI":"10.1016\/S0165-0114(96)00268-0"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2007.08.003"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(92)90007-P"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1145\/321679.321688"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1016\/S0016-0032(01)00022-9"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.12.071"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2007.10.001"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2006.02.010"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1023\/A:1004952317276"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2003.10.014"},{"key":"ref52","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1016\/S0165-0114(98)00063-3","article-title":"A new fuzzy resolution principle based on the antonym","volume":"113","author":"kim","year":"2000","journal-title":"Fuzzy Sets Syst"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1002\/int.20117"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2006.02.010"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044450813-3\/50022-9"},{"key":"ref6","author":"hahnle","year":"1993","journal-title":"Automated Deduction in Multiple-valued Logics"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2007.10.001"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-007-9051-8"},{"key":"ref7","author":"liu","year":"1994","journal-title":"Resolution-based Automated Reasoning"},{"key":"ref49","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1007\/978-3-540-73595-3_19","author":"hofner","year":"2007","journal-title":"Automated Deduction?CADE 21 (Lecture Notes in Computer Science vol 4603)"},{"key":"ref9","author":"birkhoff","year":"1967","journal-title":"Lattice Theory"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.2000.848641"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1023\/A:1006170514174"},{"key":"ref48","first-page":"1","article-title":"Non-clausal resolution theorem proving for fuzzy description logic","author":"hashim","year":"2006","journal-title":"Proc 32nd Int Conf Current Trends Theory Practice Comput Sci"},{"key":"ref47","first-page":"199","article-title":"Fuzzy general resolution","author":"habiballa","year":"2000","journal-title":"Proc Int Conf Aplimat"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1016\/0888-613X(90)90006-N"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/69.273026"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/BF01053032"},{"key":"ref43","doi-asserted-by":"crossref","first-page":"45","DOI":"10.15388\/Informatica.2005.083","article-title":"Fuzzy functional dependency and the resolution principle","volume":"16","author":"dukic","year":"2005","journal-title":"Informatica"},{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(82)90011-X"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(98)00012-7"},{"key":"ref71","first-page":"224","author":"mukaidono","year":"1982","journal-title":"Fuzzy Sets and Possibility Theory"},{"key":"ref70","first-page":"311","article-title":"Resolution for many-valued logics","volume":"19","author":"morgan","year":"1976","journal-title":"Logique et Analyse"},{"key":"ref76","doi-asserted-by":"publisher","DOI":"10.1145\/74540.74583"},{"key":"ref77","first-page":"1","article-title":"The resolution principle for <formula formulatype=\"inline\"><tex Notation=\"TeX\"> ${\\omega}^{+}$<\/tex><\/formula>-valued logic","volume":"2","author":"orlowska","year":"1978","journal-title":"Fundam Inf"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-54563-8_120"},{"key":"ref75","first-page":"230","article-title":"Improving tableau proof in multiple-valued logic","author":"murray","year":"1991","journal-title":"Proc 21st Int Symp Multiple-Valued Logic"},{"key":"ref78","first-page":"333","article-title":"Resolution system and their application II","volume":"3","author":"orlowska","year":"1980","journal-title":"Fundam Inf"},{"key":"ref79","first-page":"173","article-title":"Mechanical proof methods for Post logics","volume":"28","author":"orlowska","year":"1985","journal-title":"Log Anal"},{"key":"ref60","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1002\/malq.19890350109","article-title":"On different concepts of resolution","volume":"35","author":"lehmann","year":"1989","journal-title":"Z Math Logik Grundl Math"},{"key":"ref62","first-page":"326","article-title":"CAMA: A multi-valued satisfiability solver","author":"liu","year":"2003","journal-title":"Proc Int Conf Comput Aided Design"},{"key":"ref61","author":"lehmke","year":"1999","journal-title":"Fuzzy Sets Logics and Reasoning About Knowledge"},{"key":"ref63","first-page":"68","article-title":"Operator fuzzy logic and fuzzy resolution","author":"liu","year":"1985","journal-title":"IEEE Proc International Symp on Multiple-Valued logic"},{"key":"ref64","author":"liu","year":"1989","journal-title":"Fuzzy Logic and Fuzzy Reasoning"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(92)90053-X"},{"key":"ref66","first-page":"75","article-title":"Signed formulas and fuzzy operator logics","author":"lu","year":"1993","journal-title":"Proc Int Symp Methodol Intell Syst"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1016\/0165-0114(95)00199-9"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2004.03.006"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2009.11.018"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1995.1021"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/321250.321253"},{"key":"ref95","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":"Inf Sci"},{"key":"ref109","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2007.08.017"},{"key":"ref94","first-page":"123","article-title":"Lattice-valued propositional logic (I)","volume":"1","author":"xu","year":"1993","journal-title":"J Southwest Jiaotong Univ"},{"key":"ref108","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-0215-5_5"},{"key":"ref93","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72434-6_82"},{"key":"ref107","first-page":"519","article-title":"Fuzzy logic algebras on residuated lattices","volume":"28","author":"pei","year":"2004","journal-title":"Southeast Asian Bulletion of Mathematics"},{"key":"ref92","first-page":"22","article-title":"Lattice-valued propositional logic (II)","volume":"2","author":"qin","year":"1994","journal-title":"J Southwest Jiaotong Univ"},{"key":"ref106","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-0215-5_5"},{"key":"ref91","author":"pei","year":"2009","journal-title":"Linguistic Values Based Intelligent Information Processing Theory Methods and Application"},{"key":"ref105","author":"wang","year":"2000","journal-title":"Non-Classical Mathematical Logic and Approximate Reasoning"},{"key":"ref90","doi-asserted-by":"publisher","DOI":"10.1007\/BF00881864"},{"key":"ref104","doi-asserted-by":"publisher","DOI":"10.1007\/s00500-002-0195-5"},{"key":"ref103","doi-asserted-by":"publisher","DOI":"10.1007\/BF01268618"},{"key":"ref102","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1958-0094302-9"},{"key":"ref111","doi-asserted-by":"publisher","DOI":"10.1002\/int.20129"},{"key":"ref110","doi-asserted-by":"publisher","DOI":"10.2307\/2315369"},{"key":"ref98","first-page":"213","article-title":"On syntax of L-valued first-order logic Lvfl","volume":"7","author":"xu","year":"2001","journal-title":"Multiple-Valued Logic - An International Journal"},{"key":"ref99","doi-asserted-by":"publisher","DOI":"10.1016\/0165-0114(92)90048-9"},{"key":"ref96","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4513-2_5"},{"key":"ref97","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 Gen Syst"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7908-1898-7_6"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2009.03.018"},{"key":"ref12","author":"xu","year":"2003","journal-title":"Lattice-Valued Logic An Alternative Approach to Treat Fuzziness and Incomparability"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0255(00)00069-4"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0255(01)00065-2"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72434-6_36"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2010.03.024"},{"key":"ref82","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00188-8"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TFUZZ.2003.814859"},{"key":"ref81","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-7373(85)80022-5"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.engappai.2011.07.003"},{"key":"ref84","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2003.06.010"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzr007"},{"key":"ref83","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-16780-3_90"},{"key":"ref80","first-page":"193","article-title":"Mechanical reasoning in fuzzy logics","volume":"110?111","author":"orlowska","year":"1985","journal-title":"Log Anal"},{"key":"ref89","author":"wang","year":"2003","journal-title":"Introduction to Mathematical Logic and Resolution Principle"},{"key":"ref85","first-page":"289","article-title":"Automated theorem proving by resolution for finitely-valued logics based on distributive lattices with operators","volume":"6","author":"sofronie-stokkermans","year":"2001","journal-title":"Multiple-Valued Logic - An International Journal"},{"key":"ref86","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.2007.10"},{"key":"ref87","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-1677-7"},{"key":"ref88","doi-asserted-by":"publisher","DOI":"10.1016\/S0165-0114(01)00106-3"}],"container-title":["IEEE Transactions on Fuzzy Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/91\/6617729\/06392247.pdf?arnumber=6392247","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,19]],"date-time":"2020-07-19T08:48:35Z","timestamp":1595148515000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6392247\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,10]]},"references-count":111,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/tfuzz.2012.2236095","relation":{},"ISSN":["1063-6706","1941-0034"],"issn-type":[{"value":"1063-6706","type":"print"},{"value":"1941-0034","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,10]]}}}