Cao, Feng; Xu, Yang; Liu, Jun; Chen, Shuwei; Yi, Jianbing A multi-clause dynamic deduction algorithm based on standard contradiction separation rule. (English) Zbl 1527.68257 Inf. Sci. 566, 281-299 (2021). MSC: 68V15 03B35 PDFBibTeX XMLCite \textit{F. Cao} et al., Inf. Sci. 566, 281--299 (2021; Zbl 1527.68257) Full Text: DOI
He, Xingxing; Xu, Yang; Liu, Jun; Li, Yingfang \( \alpha \)-paramodulation method for a lattice-valued logic \(L_nF(X)\) with equality. (English) Zbl 1491.03022 Soft Comput. 25, No. 1, 251-261 (2021). MSC: 03B50 PDFBibTeX XMLCite \textit{X. He} et al., Soft Comput. 25, No. 1, 251--261 (2021; Zbl 1491.03022) Full Text: DOI
Chen, Shuwei; Liu, Jun; Xu, Yang A logical reasoning based decision making method for handling qualitative knowledge. (English) Zbl 1509.68252 Int. J. Approx. Reasoning 129, 49-63 (2021). MSC: 68T30 68T27 68T37 PDFBibTeX XMLCite \textit{S. Chen} et al., Int. J. Approx. Reasoning 129, 49--63 (2021; Zbl 1509.68252) Full Text: DOI Link
Pan, Xiaodong; Xu, Yang Redefinition of the concept of fuzzy set based on vague partition from the perspective of axiomatization. (English) Zbl 1398.03186 Soft Comput. 22, No. 6, 1777-1789 (2018); correction ibid. 22, No. 6, 2079 (2018). MSC: 03E72 PDFBibTeX XMLCite \textit{X. Pan} and \textit{Y. Xu}, Soft Comput. 22, No. 6, 1777--1789 (2018; Zbl 1398.03186) Full Text: DOI arXiv
Wang, Wei; Wan, Hui; Du, Kai; Xu, Yang On open problems based on fuzzy filters of pseudo BCK-algebras. (English) Zbl 1364.06016 J. Intell. Fuzzy Syst. 29, No. 6, 2387-2395 (2015). MSC: 06F35 03G25 PDFBibTeX XMLCite \textit{W. Wang} et al., J. Intell. Fuzzy Syst. 29, No. 6, 2387--2395 (2015; Zbl 1364.06016) Full Text: DOI
Pan, Xiaodong; Xu, Yang On lifting quasi-filters and strong lifting quasi-filters in MV-algebras. (English) Zbl 1351.06007 J. Intell. Fuzzy Syst. 28, No. 5, 2245-2255 (2015). MSC: 06D35 06D20 03G25 PDFBibTeX XMLCite \textit{X. Pan} and \textit{Y. Xu}, J. Intell. Fuzzy Syst. 28, No. 5, 2245--2255 (2015; Zbl 1351.06007) Full Text: DOI
Yang, Li; Xu, Yang Attribute extended algorithm of lattice-valued concept lattice based on congener formal context. (English) Zbl 1407.06001 Math. Probl. Eng. 2014, Article ID 836137, 9 p. (2014). MSC: 06B23 68T30 PDFBibTeX XMLCite \textit{L. Yang} and \textit{Y. Xu}, Math. Probl. Eng. 2014, Article ID 836137, 9 p. (2014; Zbl 1407.06001) Full Text: DOI
Liu, Jun; Li, Wenjiang; Chen, Shuwei; Xu, Yang An axiomatizable logical foundation for lattice-ordered qualitative linguistic approach for reasoning with words. (English) Zbl 1328.68229 Inf. Sci. 263, 110-125 (2014). MSC: 68T37 03B52 03G25 PDFBibTeX XMLCite \textit{J. Liu} et al., Inf. Sci. 263, 110--125 (2014; Zbl 1328.68229) Full Text: DOI
He, Xingxing; Xu, Yang; Liu, Jun; Chen, Shuwei A unified algorithm for finding \(k\)-IESFs in linguistic truth-valued lattice-valued propositional logic. (English) Zbl 1341.68257 Soft Comput. 18, No. 11, 2135-2147 (2014). MSC: 68T37 68T15 68T27 68T50 PDFBibTeX XMLCite \textit{X. He} et al., Soft Comput. 18, No. 11, 2135--2147 (2014; Zbl 1341.68257) Full Text: DOI
Chen, Shuwei; Liu, Jun; Wang, Hui; Xu, Yang; Augusto, Juan Carlos A linguistic multi-criteria decision making approach based on logical reasoning. (English) Zbl 1320.68180 Inf. Sci. 258, 266-276 (2014). MSC: 68T37 68T27 91B06 PDFBibTeX XMLCite \textit{S. Chen} et al., Inf. Sci. 258, 266--276 (2014; Zbl 1320.68180) Full Text: DOI
Qin, Keyun; Pei, Zheng; Yang, Jilin; Xu, Yang Approximation operators on complete completely distributive lattices. (English) Zbl 1320.68195 Inf. Sci. 247, 123-130 (2013). MSC: 68T37 06D10 PDFBibTeX XMLCite \textit{K. Qin} et al., Inf. Sci. 247, 123--130 (2013; Zbl 1320.68195) Full Text: DOI
Pan, Xiaodong; Xu, Yang On the algebraic structure of binary lattice-valued fuzzy relations. (English) Zbl 1264.03107 Soft Comput. 17, No. 3, 411-420 (2013). MSC: 03E72 PDFBibTeX XMLCite \textit{X. Pan} and \textit{Y. Xu}, Soft Comput. 17, No. 3, 411--420 (2013; Zbl 1264.03107) Full Text: DOI
Xu, Wei-tao; Xu, Yang Ideal resolution principle for lattice-valued first-order logic based on lattice implication algebra. (English) Zbl 1283.03091 J. Shanghai Jiaotong Univ., Sci. 17, No. 2, 178-181 (2012). MSC: 03G10 03B35 03B52 PDFBibTeX XMLCite \textit{W.-t. Xu} and \textit{Y. Xu}, J. Shanghai Jiaotong Univ., Sci. 17, No. 2, 178--181 (2012; Zbl 1283.03091) Full Text: DOI
Liu, Yi; Liu, Jun; Chen, Shu-wei; Xu, Yang Lattice-valued modal propositional logic based on M-lattice implication algebras. (English) Zbl 1283.68320 J. Shanghai Jiaotong Univ., Sci. 17, No. 2, 166-170 (2012). MSC: 68T30 68T27 03B45 03B52 03G10 PDFBibTeX XMLCite \textit{Y. Liu} et al., J. Shanghai Jiaotong Univ., Sci. 17, No. 2, 166--170 (2012; Zbl 1283.68320) Full Text: DOI
Zhong, Xiaomei; Xu, Yang; Liu, Jun; Chen, Shuwei General form of \(\alpha\)-resolution principle for linguistic truth-valued lattice-valued logic. (English) Zbl 1344.68226 Soft Comput. 16, No. 10, 1767-1781 (2012). MSC: 68T27 03B35 03B52 68T15 PDFBibTeX XMLCite \textit{X. Zhong} et al., Soft Comput. 16, No. 10, 1767--1781 (2012; Zbl 1344.68226) Full Text: DOI
Palomares, I.; Liu, J.; Xu, Y.; Martínez, L. Modelling experts’ attitudes in group decision making. (English) Zbl 1269.91033 Soft Comput. 16, No. 10, 1755-1766 (2012). MSC: 91B06 PDFBibTeX XMLCite \textit{I. Palomares} et al., Soft Comput. 16, No. 10, 1755--1766 (2012; Zbl 1269.91033) Full Text: DOI
He, Xingxing; Xu, Yang; Liu, Jun; Chen, Shuwei On compatibilities of \(\alpha \)-lock resolution method in linguistic truth-valued lattice-valued logic. (English) Zbl 1255.03026 Soft Comput. 16, No. 4, 699-709 (2012). MSC: 03B35 03B52 68T15 68T37 PDFBibTeX XMLCite \textit{X. He} et al., Soft Comput. 16, No. 4, 699--709 (2012; Zbl 1255.03026) Full Text: DOI
Liu, Yi; Qin, Ke-Yun; Xu, Yang Fuzzy prime filters of lattice implication algebras. (English) Zbl 1256.03067 Fuzzy Inf. Eng. 3, No. 3, 235-246 (2011). MSC: 03G10 PDFBibTeX XMLCite \textit{Y. Liu} et al., Fuzzy Inf. Eng. 3, No. 3, 235--246 (2011; Zbl 1256.03067) Full Text: DOI
Xu, Yang; Liu, Jun; Ruan, Da; Li, Xiaobing Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\). (English) Zbl 1239.03007 Inf. Sci. 181, No. 10, 1836-1862 (2011). Reviewer: Viorica Sofronie-Stokkermans (Koblenz) MSC: 03B35 03B50 03B52 68T15 PDFBibTeX XMLCite \textit{Y. Xu} et al., Inf. Sci. 181, No. 10, 1836--1862 (2011; Zbl 1239.03007) Full Text: DOI
Zhu, Yiquan; Xu, Yang On filter theory of residuated lattices. (English) Zbl 1228.03045 Inf. Sci. 180, No. 19, 3614-3632 (2010). Reviewer: Afrodita Iorgulescu (Bucharest) MSC: 03G25 06D35 06F05 06F35 PDFBibTeX XMLCite \textit{Y. Zhu} and \textit{Y. Xu}, Inf. Sci. 180, No. 19, 3614--3632 (2010; Zbl 1228.03045) Full Text: DOI
Lai, Jiajun; Xu, Yang Linguistic truth-valued lattice-valued propositional logic system \(\ell P(X)\) based on linguistic truth-valued lattice implication algebra. (English) Zbl 1198.03031 Inf. Sci. 180, No. 10, 1990-2002 (2010). MSC: 03B52 03B65 03G25 PDFBibTeX XMLCite \textit{J. Lai} and \textit{Y. Xu}, Inf. Sci. 180, No. 10, 1990--2002 (2010; Zbl 1198.03031) Full Text: DOI
Yang, Li; Xu, Yang A decision method based on uncertainty reasoning of linguistic truth-valued concept lattice. (English) Zbl 1190.68065 Int. J. Gen. Syst. 39, No. 3, 235-253 (2010). MSC: 68T37 68T30 PDFBibTeX XMLCite \textit{L. Yang} and \textit{Y. Xu}, Int. J. Gen. Syst. 39, No. 3, 235--253 (2010; Zbl 1190.68065) Full Text: DOI
Lai, Jiajun; Xu, Yang On WLI-ideal space and the properties of WLI-ideals in lattice implication algebra (LIA). (English) Zbl 1182.03108 J. Appl. Math. Comput. 31, No. 1-2, 113-127 (2009). MSC: 03G10 03B52 PDFBibTeX XMLCite \textit{J. Lai} and \textit{Y. Xu}, J. Appl. Math. Comput. 31, No. 1--2, 113--127 (2009; Zbl 1182.03108) Full Text: DOI
Pei, Zheng; Xu, Yang; Ruan, Da; Qin, Keyun Extracting complex linguistic data summaries from personnel database via simple linguistic aggregations. (English) Zbl 1192.68714 Inf. Sci. 179, No. 14, 2325-2332 (2009). MSC: 68T50 68T05 PDFBibTeX XMLCite \textit{Z. Pei} et al., Inf. Sci. 179, No. 14, 2325--2332 (2009; Zbl 1192.68714) Full Text: DOI
Zhan, Jianming; Xu, Yang Some types of generalized fuzzy filters of BL-algebras. (English) Zbl 1155.06302 Comput. Math. Appl. 56, No. 6, 1604-1616 (2008). MSC: 06D35 03G25 PDFBibTeX XMLCite \textit{J. Zhan} and \textit{Y. Xu}, Comput. Math. Appl. 56, No. 6, 1604--1616 (2008; Zbl 1155.06302) Full Text: DOI
Pan, Xiaodong; Xu, Yang Lattice implication ordered semigroups. (English) Zbl 1133.06303 Inf. Sci. 178, No. 2, 403-413 (2008). MSC: 06F05 03G10 PDFBibTeX XMLCite \textit{X. Pan} and \textit{Y. Xu}, Inf. Sci. 178, No. 2, 403--413 (2008; Zbl 1133.06303) Full Text: DOI
Ma, Xueling; Zhan, Jianming; Xu, Yang Generalized fuzzy filters of BL-algebras. (English) Zbl 1150.03349 Appl. Math., Ser. B (Engl. Ed.) 22, No. 4, 490-496 (2007). MSC: 03G25 03E72 PDFBibTeX XMLCite \textit{X. Ma} et al., Appl. Math., Ser. B (Engl. Ed.) 22, No. 4, 490--496 (2007; Zbl 1150.03349) Full Text: DOI
Liu, Yong Lin; Xu, Yang; Meng, Jie BCI-implicative ideals of BCI-algebras. (English) Zbl 1126.06007 Inf. Sci. 177, No. 22, 4987-4996 (2007). Reviewer: Wiesław A. Dudek (Wrocław) MSC: 06F35 PDFBibTeX XMLCite \textit{Y. L. Liu} et al., Inf. Sci. 177, No. 22, 4987--4996 (2007; Zbl 1126.06007) Full Text: DOI
Ma, Xueling; Zhan, Jianming; Xu, Yang Generalized fuzzy filters of \(R_{0}\)-algebras. (English) Zbl 1122.03065 Soft Comput. 11, No. 11, 1079-1087 (2007). MSC: 03G25 PDFBibTeX XMLCite \textit{X. Ma} et al., Soft Comput. 11, No. 11, 1079--1087 (2007; Zbl 1122.03065) Full Text: DOI
Ma, J.; Ruan, D.; Xu, Y.; Zhang, G. A fuzzy-set approach to treat determinacy and consistency of linguistic terms in multi-criteria decision making. (English) Zbl 1115.68144 Int. J. Approx. Reasoning 44, No. 2, 165-181 (2007); erratum ibid. 46, No. 1, 254 (2007). MSC: 68T20 68T37 PDFBibTeX XMLCite \textit{J. Ma} et al., Int. J. Approx. Reasoning 44, No. 2, 165--181 (2007; Zbl 1115.68144) Full Text: DOI
Jun, Young Bae; Xu, Yang; Ma, Jun Redefined fuzzy implicative filters. (English) Zbl 1111.03325 Inf. Sci. 177, No. 6, 1422-1429 (2007). MSC: 03G10 03E72 PDFBibTeX XMLCite \textit{Y. B. Jun} et al., Inf. Sci. 177, No. 6, 1422--1429 (2007; Zbl 1111.03325) Full Text: DOI
Ma, Jun; Li, Wenjiang; Ruan, Da; Xu, Yang Filter-based resolution principle for lattice-valued propositional logic LP\((X)\). (English) Zbl 1114.03019 Inf. Sci. 177, No. 4, 1046-1062 (2007). MSC: 03B52 03B35 PDFBibTeX XMLCite \textit{J. Ma} et al., Inf. Sci. 177, No. 4, 1046--1062 (2007; Zbl 1114.03019) Full Text: DOI
Zhang, Xiaohong; He, Huacan; Xu, Yang A fuzzy logic system based on Schweizer-Sklar t-norm. (English) Zbl 1122.03025 Sci. China, Ser. F. 49, No. 2, 175-188 (2006). MSC: 03B52 68T37 68T27 PDFBibTeX XMLCite \textit{X. Zhang} et al., Sci. China, Ser. F 49, No. 2, 175--188 (2006; Zbl 1122.03025) Full Text: DOI
Pei, Zheng; Resconi, Germano; Van Der Wal, Ariën J.; Qin, Keyun; Xu, Yang Interpreting and extracting fuzzy decision rules from fuzzy information systems and their inference. (English) Zbl 1100.68114 Inf. Sci. 176, No. 13, 1869-1897 (2006). MSC: 68T37 PDFBibTeX XMLCite \textit{Z. Pei} et al., Inf. Sci. 176, No. 13, 1869--1897 (2006; Zbl 1100.68114) Full Text: DOI
Ma, J.; Chen, S.; Xu, Y. Fuzzy logic from the viewpoint of machine intelligence. (English) Zbl 1092.68096 Fuzzy Sets Syst. 157, No. 5, 628-634 (2006). MSC: 68T37 03B52 PDFBibTeX XMLCite \textit{J. Ma} et al., Fuzzy Sets Syst. 157, No. 5, 628--634 (2006; Zbl 1092.68096) Full Text: DOI
Liu, Yong Lin; Liu, San Yang; Xu, Yang; Qin, Ke Yun \(ILI\)-ideals and prime \(LI\)-ideals in lattice implication algebras. (English) Zbl 1040.03046 Inf. Sci. 155, No. 1-2, 157-175 (2003). MSC: 03G10 PDFBibTeX XMLCite \textit{Y. L. Liu} et al., Inf. Sci. 155, No. 1--2, 157--175 (2003; Zbl 1040.03046) Full Text: DOI
Xu, Yang; Liu, Jun; Ruan, Da; Li, Wenjiang Fuzzy reasoning based on generalized fuzzy If-Then rules. (English) Zbl 1020.68088 Int. J. Intell. Syst. 17, No. 10, 977-1006 (2002). MSC: 68T37 PDFBibTeX XMLCite \textit{Y. Xu} et al., Int. J. Intell. Syst. 17, No. 10, 977--1006 (2002; Zbl 1020.68088) Full Text: DOI
Xu, Yang; Ruan, Da; Kerre, Etienne E.; Liu, Jun \(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\). (English) Zbl 0997.03006 Inf. Sci. 132, No. 1-4, 221-239 (2001). Reviewer: Vladimir Komendantsky (Dolgoprudny) MSC: 03B35 03B50 68T15 03B52 03G10 PDFBibTeX XMLCite \textit{Y. Xu} et al., Inf. Sci. 132, No. 1--4, 221--239 (2001; Zbl 0997.03006) Full Text: DOI
Xu, Yang; Kerre, Etienne E.; Ruan, Da; Song, Zhenming Fuzzy reasoning based on the extension principle. (English) Zbl 0992.68207 Int. J. Intell. Syst. 16, No. 4, 469-495 (2001). MSC: 68T37 PDFBibTeX XMLCite \textit{Y. Xu} et al., Int. J. Intell. Syst. 16, No. 4, 469--495 (2001; Zbl 0992.68207) Full Text: DOI
Xu, Yang; Ruan, Da; Kerre, Etienne E.; Liu, Jun \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\). (English) Zbl 0987.03010 Inf. Sci. 130, No. 1-4, 195-223 (2000). Reviewer: Vladimir Komendantsky (Dolgoprudny) MSC: 03B35 03B50 03B52 68T15 PDFBibTeX XMLCite \textit{Y. Xu} et al., Inf. Sci. 130, No. 1--4, 195--223 (2000; Zbl 0987.03010) Full Text: DOI
Xu, Yang; Liu, Jun; Song, Zhenming; Qin, Keyun On semantics of \(L\)-valued first-order logic \(L_{vfl}\). (English) Zbl 0953.03028 Int. J. Gen. Syst. 29, No. 1, 53-79 (2000). MSC: 03B50 03G10 PDFBibTeX XMLCite \textit{Y. Xu} et al., Int. J. Gen. Syst. 29, No. 1, 53--79 (2000; Zbl 0953.03028) Full Text: DOI