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
Xu, Yang; Liu, Jun; Chen, Shuwei; Zhong, Xiaomei; He, Xingxing Contradiction separation based dynamic multi-clause synergized automated deduction. (English) Zbl 1440.03040 Inf. Sci. 462, 93-113 (2018). MSC: 03B35 68V15 PDFBibTeX XMLCite \textit{Y. Xu} et al., Inf. Sci. 462, 93--113 (2018; Zbl 1440.03040) Full Text: DOI Link
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
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
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
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
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
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
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
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
Chen, Guoqing (ed.); Xu, Yang (ed.) Special issue: Dealing with uncertainty in data mining and information extraction. Selected extended versions of work from the international conference on fuzzy information processing (FIP2003), Beijing, China, March 1–4, 2003. (English) Zbl 1080.68503 Inf. Sci. 173, No. 4, 173-364 (2005). MSC: 68-06 00B25 PDFBibTeX XMLCite \textit{G. Chen} (ed.) and \textit{Y. Xu} (ed.), Inf. Sci. 173, No. 4, 173--364 (2005; Zbl 1080.68503) Full Text: DOI
Jun, Young Bae; Xu, Yang; Zhang, Xiao Hong Fuzzy filters of MTL-algebras. (English) Zbl 1077.03044 Inf. Sci. 175, No. 1-2, 120-138 (2005). MSC: 03G25 PDFBibTeX XMLCite \textit{Y. B. Jun} et al., Inf. Sci. 175, No. 1--2, 120--138 (2005; Zbl 1077.03044) Full Text: DOI
Xu, Yang; Liu, Jun; Ruan, Da Rule acquisition and adjustment based on set-valued mapping. (English) Zbl 1076.68092 Inf. Sci. 157, 167-198 (2003). MSC: 68T37 PDFBibTeX XMLCite \textit{Y. Xu} et al., Inf. Sci. 157, 167--198 (2003; Zbl 1076.68092) 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; 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; 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; Qin, Keyun; Liu, Jun; Song, Zhenming \(L\)-valued propositional logic \(L_{\text{vpl}}\). (English) Zbl 0936.03023 Inf. Sci. 114, No. 1-4, 205-235 (1999). MSC: 03B50 PDFBibTeX XMLCite \textit{Y. Xu} et al., Inf. Sci. 114, No. 1--4, 205--235 (1999; Zbl 0936.03023) Full Text: DOI