{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T21:55:54Z","timestamp":1649022954662},"reference-count":51,"publisher":"Springer Science and Business Media LLC","issue":"11","license":[{"start":{"date-parts":[[2013,12,20]],"date-time":"2013-12-20T00:00:00Z","timestamp":1387497600000},"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":[[2014,11]]},"DOI":"10.1007\/s00500-013-1188-2","type":"journal-article","created":{"date-parts":[[2013,12,19]],"date-time":"2013-12-19T15:14:08Z","timestamp":1387466048000},"page":"2135-2147","source":"Crossref","is-referenced-by-count":2,"title":["A unified algorithm for finding $$k$$ k -IESFs in linguistic truth-valued lattice-valued propositional logic"],"prefix":"10.1007","volume":"18","author":[{"given":"Xingxing","family":"He","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":[[2013,12,20]]},"reference":[{"key":"1188_CR1","volume-title":"Lattice theory","author":"G Birkhoff","year":"1967","unstructured":"Birkhoff G (1967) Lattice theory, 3rd edn. American Mathematical Society, Providence","edition":"3"},{"key":"1188_CR2","volume-title":"Symbolic logic and mechanical theorem proving","author":"CL Chang","year":"1973","unstructured":"Chang CL, Lee RCT (1973) Symbolic logic and mechanical theorem proving. Academic Press, London"},{"key":"1188_CR3","volume-title":"Mathematics of fuzzy logic","author":"P Hajek","year":"1998","unstructured":"Hajek P (1998) Mathematics of fuzzy logic. Kluwer, Dordrecht"},{"issue":"6","key":"1188_CR4","doi-asserted-by":"crossref","first-page":"746","DOI":"10.1109\/91.890332","volume":"8","author":"F Herrera","year":"2000","unstructured":"Herrera F, Mart\u00ednez L (2000) A 2-tuple fuzzy linguistic representation model for computing with words. IEEE Trans Fuzzy Syst 8(6):746\u2013752","journal-title":"IEEE Trans Fuzzy Syst"},{"key":"1188_CR5","volume-title":"The structure of 3-indecomposable extremely simple form of $$L_6$$","author":"XX He","year":"2009","unstructured":"He XX, Xu Y, Deng WH, Xu WT, Zhong XM (2009) The structure of 3-indecomposable extremely simple form of $$L_6$$ L 6 P(X), international conference on intelligent systems and knowledge engineering, November 27\u201328. Hasselt, Belgium"},{"key":"1188_CR6","doi-asserted-by":"crossref","unstructured":"He XX, Xu Y, Li YF, Zhang JF (2010) An algorithm for finding $$k$$ k -indecomposable extremely simple forms in $$L_6$$ L 6 (X), The 9th International FLINS Conference on Foundations and Applications of Computational Intelligence, August 2\u20134, Chengdu (EMei) pp 156\u2013161","DOI":"10.1142\/9789814324700_0022"},{"key":"1188_CR7","doi-asserted-by":"crossref","unstructured":"He XX, Xu Y, Liu J, Ruan D (2011) $$\\alpha $$ \u03b1 -Lock resolution method for a lattice-valued first-order logic. Eng Appl Artif Intell 24(7): 1274\u20131280","DOI":"10.1016\/j.engappai.2011.07.003"},{"key":"1188_CR8","doi-asserted-by":"crossref","unstructured":"He XX, Liu J, Xu Y, Chen SW (2012a) $$\\alpha $$ \u03b1 -Generalized lock resolution method in linguistic truth-valued lattice-valued logic. Int J Comput Intell Syst 5(6):1120\u20131134","DOI":"10.1080\/18756891.2012.747665"},{"key":"1188_CR9","doi-asserted-by":"crossref","unstructured":"He XX, Liu J, Xu Y, Mart\u00ednez L, Ruan D (2012b) On $$\\alpha $$ \u03b1 -satisfiability and its $$\\alpha $$ \u03b1 -lock resolution in a finite lattice-valued propositional logic. Logic J IGPL 20(3):579\u2013588","DOI":"10.1093\/jigpal\/jzr007"},{"key":"1188_CR10","doi-asserted-by":"crossref","first-page":"1990","DOI":"10.1016\/j.ins.2010.01.021","volume":"180","author":"JJ Lai","year":"2010","unstructured":"Lai JJ, Xu Y (2010) Linguistic truth-valued lattice-valued propositional logic system $$\\ell $$ \u2113 P(X) based on linguistic truth-valued lattice implication algebra. Inf Sci 180:1990\u20132002","journal-title":"Inf Sci"},{"issue":"4","key":"1188_CR11","doi-asserted-by":"crossref","first-page":"560","DOI":"10.1109\/TFUZZ.2003.814859","volume":"11","author":"J Liu","year":"2003","unstructured":"Liu J, Ruan D, Xu Y, Song ZM (2003) A resolution-like strategy based on a lattice-valued logic. IEEE Trans Fuzzy Syst 11(4):560\u2013567","journal-title":"IEEE Trans Fuzzy Syst"},{"key":"1188_CR12","volume-title":"Resolution-based automated reasoning","author":"XH Liu","year":"1994","unstructured":"Liu XH (1994) Resolution-based automated reasoning. Science Press, Beijing (in Chinese)"},{"key":"1188_CR13","doi-asserted-by":"crossref","first-page":"628","DOI":"10.1016\/j.fss.2005.10.008","volume":"157","author":"J Ma","year":"2006","unstructured":"Ma J, Chen SW, Xu Y (2006) Fuzzy logic from the viewpoint of machine intelligence. Fuzzy Set Syst 157:628\u2013634","journal-title":"Fuzzy Set Syst"},{"key":"1188_CR14","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"},{"issue":"3","key":"1188_CR15","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1142\/S0218488506004035","volume":"14","author":"L Mart\u00ednez","year":"2006","unstructured":"Mart\u00ednez L, Liu J, Yang JB (2006) A fuzzy model for design evaluation based on multiplecriteria analysis in engineering systems. Int J Uncertain Fuzziness Knowl Based Syst 14(3):317\u2013336","journal-title":"Int J Uncertain Fuzziness Knowl Based Syst"},{"key":"1188_CR16","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1016\/0165-0114(90)90002-N","volume":"35","author":"CH Nguyen","year":"1990","unstructured":"Nguyen CH, Wechler W (1990) Hedge algebras: an algebraic approach to structure of sets of linguistic truth values. Fuzzy Sets Syst 35:281\u2013293","journal-title":"Fuzzy Sets Syst"},{"key":"1188_CR17","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1016\/0165-0114(92)90237-X","volume":"52","author":"CH Nguyen","year":"1992","unstructured":"Nguyen CH, Wechler W (1992) Extended hedge algebras and their application to fuzzy logic. Fuzzy Sets Syst 52:259\u2013281","journal-title":"Fuzzy Sets Syst"},{"key":"1188_CR18","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1016\/S0165-0114(01)00147-6","volume":"129","author":"CH Nguyen","year":"2002","unstructured":"Nguyen CH, Huynh VN (2002) An algebraic approach to linguistic hedges in Zadeh\u2019s fuzzy logic. Fuzzy Sets Syst 129:229\u2013254","journal-title":"Fuzzy Sets Syst"},{"issue":"2","key":"1188_CR19","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1016\/j.ins.2007.08.017","volume":"178","author":"XD Pan","year":"2008","unstructured":"Pan XD, Xu Y (2008) Lattice implication ordered semigroups. Inf Sci 178(2):403\u2013413","journal-title":"Inf Sci"},{"key":"1188_CR20","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, Paris","DOI":"10.2991\/978-94-91216-28-2"},{"key":"1188_CR21","doi-asserted-by":"crossref","unstructured":"Pei Z, Xu Y, Ruan D, Qin K (2009) Extracting complex linguistic data summaries from personnel database via simple linguistic aggregations. Inf Sci 179(14):2325\u20132332","DOI":"10.1016\/j.ins.2008.12.018"},{"key":"1188_CR22","first-page":"22","volume":"2","author":"KY Qin","year":"1994","unstructured":"Qin KY, Xu Y (1994) Lattice-valued propositional logic (II). J Southw Jiaotong Univ 2:22\u201327 (in Chinese)","journal-title":"J Southw Jiaotong Univ"},{"key":"1188_CR23","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1002\/(SICI)1098-111X(199702)12:2<153::AID-INT3>3.0.CO;2-P","volume":"12","author":"V Torra","year":"1997","unstructured":"Torra V (1997) The weighted OWA operator. Int J Intell Syst 12:153\u2013166","journal-title":"Int J Intell Syst"},{"key":"1188_CR24","doi-asserted-by":"crossref","first-page":"651","DOI":"10.1016\/j.aml.2010.02.006","volume":"23","author":"BC Tripathy","year":"2010","unstructured":"Tripathy BC, Baruah A (2010) N\u00f6rlund and Riesz mean of sequences of fuzzy real numbers. Appl Math Lett 23:651\u2013655","journal-title":"Appl Math Lett"},{"key":"1188_CR25","doi-asserted-by":"crossref","unstructured":"Tripathy BC, Borgogain S (2011) Some classes of difference sequence spaces of fuzzy real numbers defined by Orlicz function, Adv Fuzzy Syst. Article ID216414","DOI":"10.1155\/2011\/216414"},{"issue":"1A","key":"1188_CR26","first-page":"57","volume":"39","author":"BC Tripathy","year":"2012","unstructured":"Tripathy BC, Das PC (2012) On convergence of series of fuzzy real numbers. Kuwait J Sci Eng 39(1A):57\u201370","journal-title":"Kuwait J Sci Eng"},{"issue":"2","key":"1188_CR27","doi-asserted-by":"crossref","first-page":"189","DOI":"10.5666\/KMJ.2012.52.2.189","volume":"52","author":"BC Tripathy","year":"2012","unstructured":"Tripathy BC, Sarma B (2012) On I-convergent double sequences of fuzzy real numbers. Kyungpook Math J 52(2):189\u2013200","journal-title":"Kyungpook Math J"},{"key":"1188_CR28","unstructured":"Tripathy BC, Baruah A, Et M, Gungor M (2012) On almost statistical convergence of new type of generalized difference sequence of fuzzy numbers. Iranian J Sci Technol Trans A Sci 36(2):147\u2013155"},{"issue":"10","key":"1188_CR29","doi-asserted-by":"crossref","first-page":"1691","DOI":"10.1007\/s00500-012-0853-1","volume":"16","author":"BC Tripathy","year":"2012","unstructured":"Tripathy BC, Ray GC (2012) On mixed fuzzy topological spaces and countability. Soft Comput 16(10):1691\u20131695","journal-title":"Soft Comput"},{"key":"1188_CR30","unstructured":"Wang W, Jiang B, Xu Y (2005) The generalized literals of $$L_6$$ L 6 P(X) with linguistic truth-value. In: 8th Joint conference on information sciences, Salt Lake City, pp 128\u2013131"},{"key":"1188_CR31","unstructured":"Xu WT, Xu Y, Li TR (2009) The structure of generalized literals in linguistic truth-valued propositional logic systems. In: 2009 international conference on intelligent systems and knowledge engineering (ISKE2009), November 27\u201328. Hasselt, pp 631\u2013636"},{"key":"1188_CR32","first-page":"20","volume":"1","author":"Y Xu","year":"1993","unstructured":"Xu Y (1993) Lattice implication algebra. J South Jiaotong Univ 1:20\u201327 (in Chinese)","journal-title":"J South Jiaotong Univ"},{"key":"1188_CR33","first-page":"123","volume":"1","author":"Y Xu","year":"1993","unstructured":"Xu Y, Qin KY (1993) Lattice-valued propositional logic (I). J Southw Jiaotong Univ 1:123\u2013128 (in Chinese)","journal-title":"J Southw Jiaotong Univ"},{"issue":"17","key":"1188_CR34","doi-asserted-by":"crossref","first-page":"1052","DOI":"10.1360\/csb1997-42-10-1052","volume":"42","author":"Y Xu","year":"1997","unstructured":"Xu Y, Qin KY, Song ZM (1997) On syntax of first-order lattice-valued logic system FM. Chin Sci Bull 42(17):1052\u20131055","journal-title":"Chin Sci Bull"},{"key":"1188_CR35","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1016\/S0020-0255(98)10053-1","volume":"114","author":"Y Xu","year":"1999","unstructured":"Xu Y, Qin KY, Liu J, Song ZM (1999) L-valued propositional logic $$L_{vpl}$$ L v p l . Inf Sci 114:205\u2013235","journal-title":"Inf Sci"},{"key":"1188_CR36","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) $$\\alpha $$ \u03b1 -Resolution principle based on lattice-valued propositional logic LP(X). Inf Sci 130:195\u2013223","journal-title":"Inf Sci"},{"key":"1188_CR37","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) $$\\alpha $$ \u03b1 -Resolution principle based on first-order lattice-valued logic LF(X). Inf Sci 132:221\u2013239","journal-title":"Inf Sci"},{"key":"1188_CR38","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-44847-1","volume-title":"Lattice-valued logic: an alternative approach to treat fuzziness and incomparability","author":"Y Xu","year":"2003","unstructured":"Xu Y, Ruan D, Qin KY, Liu J (2003) Lattice-valued logic: an alternative approach to treat fuzziness and incomparability. Springer, Berlin"},{"key":"1188_CR39","doi-asserted-by":"crossref","unstructured":"Xu Y, Chen SW, Ma J (2006) Linguistic truth-valued lattice implication algebra and its properties. In: IMACS multi-conference on computational engineering in system application, pp 1413\u20131418","DOI":"10.1109\/CESA.2006.4281859"},{"key":"1188_CR40","doi-asserted-by":"crossref","unstructured":"Xu Y, Liu J, Ruan D, Lee TT (2006) On the consistency of rule-bases based on lattice-valued first-order logic LF(X). Int J Intell Syst 21:399\u2013424","DOI":"10.1002\/int.20129"},{"key":"1188_CR41","unstructured":"Xu Y, Chen SW, Liu J, Ruan D (2007) Weak completeness of resolution in a lattice truth-valued propositional logic. IFSA 2007:358\u2013366"},{"key":"1188_CR42","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 (2011) Determination of $$\\alpha $$ \u03b1 -resolution in lattice-valued first-order logic LF(X). Inf Sci 181:1836\u20131862","journal-title":"Inf Sci"},{"key":"1188_CR43","doi-asserted-by":"crossref","unstructured":"Xu Y, Liu J, Zhong XM, Chen SW (2013) Multi-ary $$\\alpha $$ \u03b1 -resolution principle for a lattice-valued logic. IEEE Trans Fuzzy Syst 21(5):898\u2013912","DOI":"10.1109\/TFUZZ.2012.2236095"},{"key":"1188_CR44","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1109\/21.87068","volume":"18","author":"RR Yager","year":"1988","unstructured":"Yager RR (1988) On ordered weighted averaging aggregation operators in multicriteria decision making. IEEE Trans Syst Man Cybern 18:183\u2013190","journal-title":"IEEE Trans Syst Man Cybern"},{"key":"1188_CR45","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1016\/0888-613X(94)00035-2","volume":"12","author":"RR Yager","year":"1995","unstructured":"Yager RR (1995) An approach to ordinal decision making. Int J Approx Reason 12:237\u2013261","journal-title":"Int J Approx Reason"},{"key":"1188_CR46","doi-asserted-by":"crossref","unstructured":"Zadeh LA (1965) Fuzzy sets. Inf Control 8(3):338\u2013353","DOI":"10.1016\/S0019-9958(65)90241-X"},{"key":"1188_CR47","unstructured":"Zadeh LA, The concept of linguistic variable and its application to approximate reasoning, Information Sciences I: 8 (1975) 199\u2013249; II: 8 (1975) 310\u2013357; III: 9 (1975) 43\u201380"},{"issue":"2","key":"1188_CR48","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1109\/91.493904","volume":"4","author":"LA Zadeh","year":"1996","unstructured":"Zadeh LA (1996) Fuzzy logic = computing with words. IEEE Trans Fuzzy Syst 4(2):103\u2013111","journal-title":"IEEE Trans Fuzzy Syst"},{"key":"1188_CR49","volume-title":"Computing with words in information \/ intelligent system: foundations","author":"LA Zadeh","year":"1999","unstructured":"Zadeh LA, Kacprzyk J (1999) Computing with words in information \/ intelligent system: foundations. Springer, Berlin"},{"key":"1188_CR50","doi-asserted-by":"crossref","first-page":"2751","DOI":"10.1016\/j.ins.2008.02.012","volume":"178","author":"LA Zadeh","year":"2008","unstructured":"Zadeh LA (2008) Is there a need for fuzzy logic? Inf Sci 178:2751\u20132779","journal-title":"Inf Sci"},{"issue":"10","key":"1188_CR51","doi-asserted-by":"crossref","first-page":"1767","DOI":"10.1007\/s00500-012-0860-2","volume":"16","author":"XM Zhong","year":"2012","unstructured":"Zhong XM, Xu Y, Liu J, Chen SW (2012) General form of $$\\alpha $$ \u03b1 -resolution principle for linguistic truth-valued lattice-valued logic. Soft Comput 16(10):1767\u20131781","journal-title":"Soft Comput"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-013-1188-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00500-013-1188-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-013-1188-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,12]],"date-time":"2020-08-12T16:03:16Z","timestamp":1597248196000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00500-013-1188-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,12,20]]},"references-count":51,"journal-issue":{"issue":"11","published-print":{"date-parts":[[2014,11]]}},"alternative-id":["1188"],"URL":"https:\/\/doi.org\/10.1007\/s00500-013-1188-2","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"value":"1432-7643","type":"print"},{"value":"1433-7479","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,12,20]]}}}