{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,4]],"date-time":"2024-07-04T17:34:17Z","timestamp":1720114457291},"reference-count":39,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2017,11,1]],"date-time":"2017-11-01T00:00:00Z","timestamp":1509494400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of P. R. China","doi-asserted-by":"publisher","award":["61672127","61673320"],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100005047","name":"Natural Science Foundation of Liaoning Province","doi-asserted-by":"publisher","award":["2015020059","201602464"],"id":[{"id":"10.13039\/501100005047","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Information Sciences"],"published-print":{"date-parts":[[2017,11]]},"DOI":"10.1016\/j.ins.2017.05.046","type":"journal-article","created":{"date-parts":[[2017,6,9]],"date-time":"2017-06-09T21:46:44Z","timestamp":1497044804000},"page":"329-339","update-policy":"http:\/\/dx.doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":3,"special_numbering":"C","title":["( \u03b1, \u03b2 )-Ordered linear resolution of intuitionistic fuzzy propositional logic"],"prefix":"10.1016","volume":"414","author":[{"given":"Li","family":"Zou","sequence":"first","affiliation":[]},{"given":"XiaoNan","family":"Li","sequence":"additional","affiliation":[]},{"given":"Chang","family":"Pan","sequence":"additional","affiliation":[]},{"given":"Xin","family":"Liu","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.ins.2017.05.046_bib0001","series-title":"Roboethics: A Navigating Overview","volume":"79","author":"Tzafestas","year":"2016"},{"issue":"1","key":"10.1016\/j.ins.2017.05.046_bib0002","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"},{"key":"10.1016\/j.ins.2017.05.046_bib0003","series-title":"Symbolic Logic and Mechanical Theorem Proving","author":"Chang","year":"1973"},{"issue":"3","key":"10.1016\/j.ins.2017.05.046_bib0004","doi-asserted-by":"crossref","first-page":"208","DOI":"10.1080\/11663081.2016.1225488","article-title":"Game theoretical semantics for some non-classical logics","volume":"26","author":"Baskent","year":"2016","journal-title":"J. Appl. Non-Classical Logics"},{"issue":"22","key":"10.1016\/j.ins.2017.05.046_bib0005","first-page":"57","article-title":"Fuzzy logic based image edge detection algorithm in MATLAB","volume":"1","author":"Kaur","year":"2010","journal-title":"Int. J. Comput. Appl."},{"issue":"sup1","key":"10.1016\/j.ins.2017.05.046_bib0006","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1080\/18756891.2015.1129581","article-title":"Semantics of propositional fuzzy modal logic with evaluated syntax and its application to fuzzy decision implications","volume":"8","author":"Pan","year":"2015","journal-title":"Int. J. Comput. Intell. Syst."},{"issue":"1","key":"10.1016\/j.ins.2017.05.046_bib0007","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"},{"issue":"1","key":"10.1016\/j.ins.2017.05.046_bib0008","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1023\/A:1006241826565","article-title":"Efficient algorithms to detect and restore minimality, an extension of the regular restriction of resolution","volume":"25","author":"Spencer","year":"2000","journal-title":"J. Autom. Reas."},{"issue":"1\u20134","key":"10.1016\/j.ins.2017.05.046_bib0009","doi-asserted-by":"crossref","first-page":"195","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":"Inf. Sci."},{"issue":"1\u20134","key":"10.1016\/j.ins.2017.05.046_bib0010","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1016\/S0020-0255(01)00065-2","article-title":"\u03b1-Resolution principle based on first-order lattice-valued logic LF(X)","volume":"132","author":"Xu","year":"2001","journal-title":"Inf. Sci."},{"key":"10.1016\/j.ins.2017.05.046_bib0011","series-title":"Lattice-Valued Logic","volume":"132","author":"Xu","year":"2003"},{"issue":"10","key":"10.1016\/j.ins.2017.05.046_bib0012","doi-asserted-by":"crossref","first-page":"1836","DOI":"10.1016\/j.ins.2010.03.024","article-title":"Determination of \u03b1-resolution in lattice-valued first-order logic LF(x)","volume":"181","author":"Xu","year":"2011","journal-title":"Inf. Sci."},{"issue":"10","key":"10.1016\/j.ins.2017.05.046_bib0013","doi-asserted-by":"crossref","first-page":"1767","DOI":"10.1007\/s00500-012-0860-2","article-title":"General form of \u03b1-resolution principle for linguistic truth-valued lattice-valued logic","volume":"16","author":"Zhong","year":"2012","journal-title":"Soft Comput."},{"issue":"3","key":"10.1016\/j.ins.2017.05.046_bib0014","doi-asserted-by":"crossref","first-page":"418","DOI":"10.1080\/18756891.2013.859868","article-title":"\u03b1-Quasi-lock semantic resolution method based on lattice-valued logic","volume":"7","author":"Zhong","year":"2014","journal-title":"Int. J. Comput. Intell. Syst."},{"issue":"4\u20136","key":"10.1016\/j.ins.2017.05.046_bib0015","first-page":"581","article-title":"\u03b1-Group quasi-lock semantic resolution method based on lattice-valued propositional logic LP(x)","volume":"22","author":"Zhong","year":"2014","journal-title":"J. Multiple-Valued Logic Soft Comput."},{"issue":"sup1","key":"10.1016\/j.ins.2017.05.046_bib0016","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1080\/18756891.2015.1129580","article-title":"\u03b1-Resolution method for lattice-valued horn generalized clauses in lattice-valued propositional logic systems","volume":"8","author":"Xu","year":"2015","journal-title":"Int. J. Comput. Intell. Syst."},{"issue":"1","key":"10.1016\/j.ins.2017.05.046_bib0017","first-page":"34","article-title":"\u03b1-Minimal resolution principle for a lattice-valued logic","volume":"8","author":"Jia","year":"2015","journal-title":"Int. J. Comput. Intell. Syst."},{"issue":"4","key":"10.1016\/j.ins.2017.05.046_bib0018","doi-asserted-by":"crossref","first-page":"699","DOI":"10.1007\/s00500-011-0779-z","article-title":"On compatibilities of \u03b1-lock resolution method in linguistic truth-valued lattice-valued logic","volume":"16","author":"He","year":"2012","journal-title":"Soft Comput."},{"issue":"6","key":"10.1016\/j.ins.2017.05.046_bib0019","doi-asserted-by":"crossref","first-page":"1120","DOI":"10.1080\/18756891.2012.747665","article-title":"\u03b1-Generalized lock resolution method in linguistic truth-valued lattice-valued logic","volume":"5","author":"He","year":"2012","journal-title":"Int. J. Comput. Intell. Systems"},{"issue":"1","key":"10.1016\/j.ins.2017.05.046_bib0020","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s10817-011-9241-2","article-title":"Invariant-free clausal temporal resolution","volume":"50","author":"Gaintzarain","year":"2013","journal-title":"J. Autom. Reason."},{"issue":"4","key":"10.1016\/j.ins.2017.05.046_bib0021","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1007\/s10817-015-9348-y","article-title":"The higher-order prover Leo-II","volume":"55","author":"Benzmuller","year":"2015","journal-title":"J. Autom. Reason."},{"issue":"1","key":"10.1016\/j.ins.2017.05.046_bib0022","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/S0165-0114(86)80034-3","article-title":"Intuitionistic fuzzy sets","volume":"20","author":"Atanassov","year":"1986","journal-title":"Fuzzy Sets Syst."},{"key":"10.1016\/j.ins.2017.05.046_bib0023","series-title":"Intuitionistic Fuzzy Sets:Theory and Applications","volume":"35","author":"Atanassov","year":"1999"},{"key":"10.1016\/j.ins.2017.05.046_bib0024","series-title":"2006 3rd International IEEE Conference Intelligent Systems, London","first-page":"741","article-title":"On eight new intuitionistic fuzzy implications","author":"Atanassov","year":"2006"},{"key":"10.1016\/j.ins.2017.05.046_bib0025","series-title":"2010 5th IEEE International Conference Intelligent Systems, London","first-page":"266","article-title":"On intuitionistic fuzzy negations and law for excluded middle","author":"Atanassov","year":"2010"},{"key":"10.1016\/j.ins.2017.05.046_bib0026","series-title":"On Intuitionistic Fuzzy Sets Theory","volume":"283","author":"Atanassov","year":"2012"},{"key":"10.1016\/j.ins.2017.05.046_bib0027","series-title":"Intuitionistic Fuzzy Preference Modeling and Interactive Decision Making","author":"Xu","year":"2013"},{"issue":"2","key":"10.1016\/j.ins.2017.05.046_bib0028","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1007\/s10726-014-9386-6","article-title":"Group decision making with incomplete interval-valued intuitionistic preference relations","volume":"24","author":"Xu","year":"2015","journal-title":"Group Decis. Negotiation"},{"issue":"2","key":"10.1016\/j.ins.2017.05.046_bib0029","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/s10700-014-9195-z","article-title":"IVIF-PROMETHEE outranking methods for multiple criteria decision analysis based on interval-valued intuitionistic fuzzy sets","volume":"14","author":"Chen","year":"2015","journal-title":"Fuzzy Optim. Decis. Making"},{"issue":"2","key":"10.1016\/j.ins.2017.05.046_bib0030","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1007\/s10700-014-9196-y","article-title":"Atanassov\u2019S intuitionistic fuzzy quasi-Choquet geometric operators and their applications to multicriteria decision making","volume":"14","author":"Tan","year":"2015","journal-title":"Fuzzy Optim. Decis. Making"},{"key":"10.1016\/j.ins.2017.05.046_bib0031","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/j.ins.2016.09.039","article-title":"Three-way decisions with intuitionistic fuzzy decision-theoretic rough sets based on point operators","volume":"375","author":"Liang","year":"2017","journal-title":"Inf. Sci."},{"key":"10.1016\/j.ins.2017.05.046_bib0032","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1016\/j.knosys.2014.04.014","article-title":"A complete pattern recognition approach under atanassovs intuitionistic fuzzy sets","volume":"66","author":"Chu","year":"2014","journal-title":"Knowl. Based Syst."},{"key":"10.1016\/j.ins.2017.05.046_bib0033","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/j.eswa.2015.09.045","article-title":"A novel similarity\/dissimilarity measure for intuitionistic fuzzy sets and its application in pattern recognition","volume":"45","author":"Nguyen","year":"2016","journal-title":"Expert Syst. Appl."},{"key":"10.1016\/j.ins.2017.05.046_bib0034","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/j.knosys.2014.02.016","article-title":"A new approach to the rule-base evidential reasoning in the intuitionistic fuzzy setting","volume":"61","author":"Dymova","year":"2014","journal-title":"Knowl. Based Syst."},{"issue":"6","key":"10.1016\/j.ins.2017.05.046_bib0035","doi-asserted-by":"crossref","first-page":"1369","DOI":"10.1016\/j.ijar.2014.01.001","article-title":"Triple I method of approximate reasoning on Atanassov\u2019s intuitionistic fuzzy sets","volume":"55","author":"Zheng","year":"2014","journal-title":"Int. J. Approximate Reason."},{"key":"10.1016\/j.ins.2017.05.046_bib0036","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1016\/j.ins.2015.07.048","article-title":"Linguistic truth-valued intuitionistic fuzzy reasoning with applications in human factors engineering","volume":"327","author":"Zou","year":"2016","journal-title":"Inf. Sci."},{"key":"10.1016\/j.ins.2017.05.046_bib0037","doi-asserted-by":"crossref","unstructured":"D.C. Loveland, A Linear Format for Resolution, Springer Berlin Heidelberg, Berlin, Heidelberg, pp. 147\u2013162.","DOI":"10.1007\/BFb0060630"},{"key":"10.1016\/j.ins.2017.05.046_bib0038","series-title":"2011 Eighth International Conference on Fuzzy Systems and Knowledge Discovery (FSKD)","first-page":"1413","article-title":"\u03b1-generalized linear resolution method based on lattice-valued propositional logic LP(X)","volume":"3","author":"Xu","year":"2011"},{"issue":"4","key":"10.1016\/j.ins.2017.05.046_bib0039","doi-asserted-by":"crossref","first-page":"460","DOI":"10.1504\/IJAMS.2012.049930","article-title":"\u03b1-Ordered linear resolution method for lattice-valued logic system based on lattice implication algebra","volume":"4","author":"Xu","year":"2012","journal-title":"Int. J. Appl. Manage. Sci."}],"container-title":["Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0020025517307612?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0020025517307612?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,10,9]],"date-time":"2020-10-09T18:51:32Z","timestamp":1602269492000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0020025517307612"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11]]},"references-count":39,"alternative-id":["S0020025517307612"],"URL":"http:\/\/dx.doi.org\/10.1016\/j.ins.2017.05.046","relation":{},"ISSN":["0020-0255"],"issn-type":[{"value":"0020-0255","type":"print"}],"subject":[],"published":{"date-parts":[[2017,11]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"(\u03b1, \u03b2)-Ordered linear resolution of intuitionistic fuzzy propositional logic","name":"articletitle","label":"Article Title"},{"value":"Information Sciences","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.ins.2017.05.046","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2017 Published by Elsevier Inc.","name":"copyright","label":"Copyright"}]}}
