Chang, Zhiyan; Liu, Bei; Chen, Shuwei; Xu, Yang Rule of inference in gradational lattice-valued propositional logic \(\mathrm{L_{vpl}}\). (Chinese. English summary) Zbl 1488.03004 Fuzzy Syst. Math. 35, No. 1, 1-8 (2021). MSC: 03B52 × Cite Format Result Cite Review PDF
Ning, Xinran; Xu, Yang; He, Xingxing Extended unifying principle of clause elimination in first-order logic. (Chinese. English summary) Zbl 1463.03001 J. Southwest Jiaotong Univ. 55, No. 3, 588-595 (2020). MSC: 03B10 03B35 68V15 × Cite Format Result Cite Review PDF Full Text: DOI
Cao, Feng; Xu, Yang; Chen, Shuwei; Wu, Guanfeng; Chang, Wenjing Application of multi-clause synergized deduction in first-order logic automated theorem proving. (Chinese. English summary) Zbl 1474.68452 J. Southwest Jiaotong Univ. 55, No. 2, 401-408, 427 (2020). MSC: 68V15 03B10 03B35 × Cite Format Result Cite Review PDF Full Text: DOI
Wu, Guanfeng; Xu, Yang; Chang, Wenjing; Chen, Shuwei; Xu, Peng Parallel genetic algorithm for SAT problems based on OpenMP. (Chinese. English summary) Zbl 1438.68179 J. Southwest Jiaotong Univ. 54, No. 2, 428-435 (2019). MSC: 68T20 68W10 68W50 × Cite Format Result Cite Review PDF Full Text: DOI
Jin, Liuqian; Fang, Xin; Xu, Yang Multi-attribute decision making method with interval certainty factor based on evidential reasoning and prospect theory. (Chinese. English summary) Zbl 1424.90115 Fuzzy Syst. Math. 31, No. 6, 124-131 (2017). MSC: 90B50 68T37 × Cite Format Result Cite Review PDF
Chen, Qingshan; Xu, Yang; He, Xingxing Heuristic complete algorithm for SAT problem by using logical deduction. (Chinese. English summary) Zbl 1399.90297 J. Southwest Jiaotong Univ. 52, No. 6, 1224-1232 (2017). MSC: 90C59 90B50 × Cite Format Result Cite Review PDF Full Text: DOI
Xia, Shifen; Xu, Yang Rough filters in regular residuated lattices. (Chinese. English summary) Zbl 1389.03033 Fuzzy Syst. Math. 30, No. 5, 169-173 (2016). MSC: 03G25 03E72 × Cite Format Result Cite Review PDF
Zhang, Jiafeng; Xu, Yang; Cao, Fasheng The comparability of \(\alpha\)-generalized semantic resolution method based on lattice-valued first-order logic \(\mathrm{LF}(X)\). (Chinese. English summary) Zbl 1363.03011 Fuzzy Syst. Math. 30, No. 1, 146-152 (2016). MSC: 03B52 03B70 68T27 68T37 × Cite Format Result Cite Review PDF
Jin, Liuqian; Xu, Yang Method for uncertain multi-attribute decision making based on evidential reasoning and third-generation prospect theory. (Chinese. English summary) Zbl 1349.90476 Control Decis. 31, No. 1, 105-113 (2016). MSC: 90B50 68T37 × Cite Format Result Cite Review PDF Full Text: DOI
Wang, Wei; Zhou, Manman; Sun, Dabao; Li, Xiaoqian; Xu, Yang; Xin, Xiaolong On fuzzy sub-positive implicative filters of non-commutative residuated lattice. (Chinese. English summary) Zbl 1349.03101 Fuzzy Syst. Math. 29, No. 6, 32-39 (2015). MSC: 03G25 03B52 × Cite Format Result Cite Review PDF
Xia, Shifen; Xu, Yang Rough filters of residuated lattices. (Chinese. English summary) Zbl 1324.03037 Fuzzy Syst. Math. 28, No. 2, 34-38 (2014). MSC: 03G25 03B52 06F05 × Cite Format Result Cite Review PDF
Zhu, Hua; Zhao, Jianbin; Xu, Yang Intuitionistic fuzzy ideals of lattice implication algebras. (Chinese. English summary) Zbl 1313.06023 Fuzzy Syst. Math. 28, No. 1, 23-28 (2014). MSC: 06D72 06B10 03G10 × Cite Format Result Cite Review PDF
Xia, Shifen; Xu, Yang Rough set algebra to construct lattice implication algebra. (Chinese. English summary) Zbl 1313.03037 Fuzzy Syst. Math. 27, No. 6, 162-166 (2013). MSC: 03G10 03E72 × Cite Format Result Cite Review PDF
Yang, Li; Wang, Yuhui; Xu, Yang Algebraic structure and mathematical computing of double uncertain information. (Chinese. English summary) Zbl 1313.03039 Fuzzy Syst. Math. 27, No. 5, 55-61 (2013). MSC: 03G10 68T37 68T50 × Cite Format Result Cite Review PDF
Xia, Shifen; Zhang, Jiafeng; Xu, Yang Roughness of filters in lattice implication algebras. (Chinese. English summary) Zbl 1313.03038 Fuzzy Syst. Math. 27, No. 5, 153-157 (2013). MSC: 03G10 68T37 × Cite Format Result Cite Review PDF
Lai, Jiajun; Xu, Yang Uncertainty reasoning of two models based on linguistic truth-valued lattice-valued first-order logic system \(L_{v(n\times 2)}F(X)\). (Chinese. English summary) Zbl 1313.68231 Fuzzy Syst. Math. 27, No. 4, 28-35 (2013). MSC: 68T37 03B52 × Cite Format Result Cite Review PDF
Lai, Jiajun; Xu, Yang Some notes on degree formulae based on the linguistic truth-valued lattice-valued first-order logic system \(L_{v(n\times 2)}{\mathcal F}(X)\). (Chinese. English summary) Zbl 1299.03015 J. Syst. Sci. Math. Sci. 33, No. 10, 1256-1262 (2013). MSC: 03B52 × Cite Format Result Cite Review PDF
Liu, Yi; Xu, Yang; Qin, Xiaoyan; Qin, Ya TL-filters and TL-congruences of residuated lattices. (Chinese. English summary) Zbl 1265.03083 J. Shandong Univ., Nat. Sci. 47, No. 2, 98-103 (2012). MSC: 03G25 06B10 06F05 × Cite Format Result Cite Review PDF
Zhang, Jiafeng; Xu, Yang \(\alpha\)-resolution fields of generalized literals in lattice-valued propositional logic \(L_{n\times 2}P(X)\). (Chinese. English summary) Zbl 1249.03032 J. Sichuan Norm. Univ., Nat. Sci. 34, No. 5, 635-639 (2011). MSC: 03B52 03B35 03G10 68T15 68T27 × Cite Format Result Cite Review PDF Full Text: DOI
Long, Xiqing; Xu, Yang A study of annihilators of finite lattice implication algebras. (Chinese. English summary) Zbl 1249.03112 Fuzzy Syst. Math. 25, No. 3, 8-12 (2011). MSC: 03G10 × Cite Format Result Cite Review PDF
Lai, Jiajun; Xu, Yang Syntax of uncertainty reasoning based on linguistic truth-valued lattice-valued first-order logic. (Chinese. English summary) Zbl 1249.68257 Fuzzy Syst. Math. 25, No. 2, 1-6 (2011). MSC: 68T37 03B52 03B65 03G25 × Cite Format Result Cite Review PDF
Lai, Jiajun; Xu, Yang; Qin, Keyun The properties of normed lattice \(H\) implication algebras. (Chinese. English summary) Zbl 1240.03049 Acta Math. Sci., Ser. A, Chin. Ed. 30, No. 6, 1465-1473 (2010). MSC: 03G25 03B50 03B52 × Cite Format Result Cite Review PDF
Xia, Shi Fen; Qin, Ying Bing; Xu, Yang MP resolution inference based on a filter of a lattice-valued propositional logic system. (Chinese. English summary) Zbl 1264.03074 Fuzzy Syst. Math. 23, No. 1, 1-5 (2009). MSC: 03B52 × Cite Format Result Cite Review PDF
Li, Xiao Bing; Qiu, Xiao Ping; Xu, Yang Automated reasoning algorithm based on sub-regular generalized literals of lattice-valued propositional logic \(L_{2n+1}P(X)\). (Chinese. English summary) Zbl 1264.03066 Fuzzy Syst. Math. 23, No. 4, 21-26 (2009). MSC: 03B52 03B35 × Cite Format Result Cite Review PDF
Yang, Li; Xu, Yang Fuzzy concept lattices based on lattice-valued logic. (Chinese. English summary) Zbl 1264.68166 Fuzzy Syst. Math. 23, No. 5, 15-20 (2009). MSC: 68T30 03B50 × Cite Format Result Cite Review PDF
Chang, Zhi Yan; Xu, Yang; Xu, Wei Tao; Zhong, Xiao Mei Solving some special classes of lattice implication algebraic equations on \(L_n\times L_2\). (Chinese. English summary) Zbl 1264.03126 Fuzzy Syst. Math. 23, No. 6, 17-23 (2009). MSC: 03G10 × Cite Format Result Cite Review PDF
Zhu, Hua; Chen, Shuwei; Zhao, Jianbin; Xu, Yang Multi-fold fuzzy positive implicative filter of residuated lattice implication algebras. (Chinese. English summary) Zbl 1212.03056 J. Zhengzhou Univ., Nat. Sci. Ed. 41, No. 2, 19-23 (2009). MSC: 03G25 × Cite Format Result Cite Review PDF
Pan, Xiaodong; Zhang, Qing; Xu, Yang \(sl\) ideals in lattice implication \(N\)-ordered semigroups. (Chinese. English summary) Zbl 1333.06051 Fuzzy Syst. Math. 22, No. 2, 65-69 (2008). MSC: 06F05 20M99 × Cite Format Result Cite Review PDF
Zhou, Ping; Jiang, Ming; Xu, Yang Soundness theorem with generalized quantifier in the logic system \(\mathrm{LF}(X)\). (Chinese. English summary) Zbl 1333.03029 Fuzzy Syst. Math. 22, No. 2, 31-35 (2008). MSC: 03B50 03C80 × Cite Format Result Cite Review PDF
Xia, Shi Fen; Mao, Da Hui; Xu, Yang An operator fuzzy logic system and its inference algorithm of Petri net. (Chinese. English summary) Zbl 1219.03031 Fuzzy Syst. Math. 22, No. 1, 7-14 (2008). MSC: 03B52 68Q85 × Cite Format Result Cite Review PDF
Xia, Shifen; Xu, Yang An operator fuzzy logic system. (Chinese. English summary) Zbl 1199.03021 J. Sichuan Norm. Univ., Nat. Sci. 31, No. 5, 508-512 (2008). MSC: 03B52 × Cite Format Result Cite Review PDF
Zhu, Hua; Zhao, Jianbin; Xu, Yang The \(n\)-fold prime filter of residuated lattice implication algebras. (Chinese. English summary) Zbl 1199.03066 J. Zhengzhou Univ., Nat. Sci. Ed. 40, No. 1, 19-22 (2008). MSC: 03G25 × Cite Format Result Cite Review PDF
Xia, Shi Fen; Xu, Yang An operator proposition logic system and inference algorithm of Petri net. (Chinese. English summary) Zbl 1333.03091 Fuzzy Syst. Math. 21, No. 6, 18-23 (2007). MSC: 03B60 68Q85 × Cite Format Result Cite Review PDF
Zhou, Ping; Jiang, Ming; Xu, Yang Uncertainty reasoning with generalized quantifier in the lattice-valued first-order logic \(\mathrm{LF}(X)\). (Chinese. English summary) Zbl 1332.68253 Fuzzy Syst. Math. 21, No. 2, 40-45 (2007). MSC: 68T37 03B52 × Cite Format Result Cite Review PDF
Li, Xiaobing; Xu, Yang \(\Sigma\)-generalized quasi-tautology on interval-valued fuzzy logic systems. (Chinese. English summary) Zbl 1174.03312 J. Liaoning Norm. Univ., Nat. Sci. 30, No. 1, 23-25 (2007). MSC: 03B52 × Cite Format Result Cite Review PDF
Pan, Xiaodong; Xu, Yang Methods for a class of finite lattice implication algebraic equations. (Chinese. English summary) Zbl 1332.03012 Fuzzy Syst. Math. 20, No. 6, 51-57 (2006). MSC: 03G10 06B10 × Cite Format Result Cite Review PDF
Zhou, Ping; Jiang, Ming; Xu, Yang Generalized quantifiers in the \(L\)-valued first-order logic \(\mathrm{LF}(X)\). (Chinese. English summary) Zbl 1333.03087 Fuzzy Syst. Math. 20, No. 5, 96-100 (2006). MSC: 03B52 03C80 × Cite Format Result Cite Review PDF
Wang, Xue Fang; Liu, Pei Shun; Xu, Yang Prime dual ideals of lattice implication algebra. (Chinese. English summary) Zbl 1333.03246 Fuzzy Syst. Math. 20, No. 5, 37-42 (2006). MSC: 03G10 × Cite Format Result Cite Review PDF
Du, Fuyin; Xu, Yang Predictive fuzzy control based on recurrent neural network. (Chinese. English summary) Zbl 1119.93358 J. Southwest Jiaotong Univ. 41, No. 6, 733-736, 747 (2006). MSC: 93C42 92B20 × Cite Format Result Cite Review PDF
Zhou, Ping; Jiang, Ming; Xu, Yang Uncertainty reasoning based on the lattice-valued propositional logic LP\((X)\). (Chinese. English summary) Zbl 1113.03322 J. Sichuan Norm. Univ., Nat. Sci. 29, No. 5, 509-511 (2006). MSC: 03B52 68T37 × Cite Format Result Cite Review PDF
Zhu, Hua; Zhao, Jianbin; Xu, Yang The primary ideal of residuated lattice implication algebras. (Chinese. English summary) Zbl 1113.03061 J. Zhengzhou Univ., Nat. Sci. Ed. 38, No. 2, 25-28 (2006). MSC: 03G10 06B10 × Cite Format Result Cite Review PDF
Zeng, Chuanhua; Xu, Yang; Du, Yajun; Xie, Weicheng Knowledge discovery and model structure selection based on rough set theory. (Chinese. English summary) Zbl 1105.68406 J. Southwest Jiaotong Univ. 41, No. 3, 324-328 (2006). MSC: 68T05 68T30 68U35 × Cite Format Result Cite Review PDF
Chen, Shuwei; Xu, Yang Rules of inference in lattice-valued propositional logic \(L_{\text{vpl}}\). (Chinese. English summary) Zbl 1098.03033 J. Southwest Jiaotong Univ. 41, No. 2, 256-258 (2006). MSC: 03B52 × Cite Format Result Cite Review PDF
Ma, Jun; Xu, Yang Complementary elements and structure of lattice implication algebras. (Chinese. English summary) Zbl 1333.03245 Fuzzy Syst. Math. 19, No. 1, 49-56 (2005). MSC: 03G10 06D35 × Cite Format Result Cite Review PDF
Pan, Xiaodong; Xu, Yang; Zhang, Qing Lattice implication algebraic equations in lattice implication algebras. (Chinese. English summary) Zbl 1111.03055 J. Southwest Jiaotong Univ. 40, No. 6, 842-845 (2005). MSC: 03G10 × Cite Format Result Cite Review PDF
Wang, Wei; Jiang, Baoqing; Xu, Yang \(\alpha\)-resolution fields of generalized literals of the logic \(\text{LP}(X)\). (Chinese. English summary) Zbl 1111.03318 J. Southwest Jiaotong Univ. 40, No. 4, 544-547 (2005). MSC: 03B52 03G10 × Cite Format Result Cite Review PDF
Xia, Shi-fen; Huang, Tian-min; Xu, Yang Neural network resolution on clause set. (Chinese. English summary) Zbl 1332.68191 Fuzzy Syst. Math. 18, No. 2, 62-67 (2004). MSC: 68T05 68T15 × Cite Format Result Cite Review PDF
Wang, Wei; Xu, Yang; Qin, Ke Yun Properties of indecomposable extremely simple forms of lattice-valued logic \(LP(X)\). (Chinese. English summary) Zbl 1333.03022 Fuzzy Syst. Math. 18, No. 1, 47-52 (2004). MSC: 03B50 × Cite Format Result Cite Review PDF
Li, Wenjiang; Xu, Yang Semantics of a lattice-valued tense propositional logic system. (Chinese. English summary) Zbl 1089.03503 J. Southwest Jiaotong Univ. 39, No. 5, 691-695 (2004). MSC: 03B44 03B52 × Cite Format Result Cite Review PDF
Xia, Shifen; Ma, Shuxia; Xu, Yang Parallel unit resolution. (Chinese. English summary) Zbl 1113.68458 J. Sichuan Norm. Univ., Nat. Sci. 27, No. 5, 501-504 (2004). MSC: 68T05 68T15 × Cite Format Result Cite Review PDF
Ma, Jun; Gao, Ya; Qin, Keyun; Xu, Yang Syntactic system of lattice-valued propositional logic based on finite lattice implication algebra. (Chinese. English summary) Zbl 1049.03504 J. Southwest Jiaotong Univ. 39, No. 1, 90-94 (2004). MSC: 03B50 03G10 × Cite Format Result Cite Review PDF
Li, Hai Ming; Pei, Zheng; Meng, Dan; Xu, Yang Some remarks on structure of lattice implication algebras. (Chinese. English summary) Zbl 1333.03242 Fuzzy Syst. Math. 17, No. 4, 20-24 (2003). MSC: 03G10 × Cite Format Result Cite Review PDF
Wang, Xuefang; Xu, Yang; Song, Zhenming The simplicity and periodicity of lattice implication algebra. (Chinese. English summary) Zbl 1053.03040 J. Southwest Jiaotong Univ. 38, No. 1, 4-10 (2003). MSC: 03G10 × Cite Format Result Cite Review PDF
Li, Haiming; Liu, Pengxian; Xu, Yang Automated reasoning method based on path searching for lattice propositional logic formulae. (Chinese. English summary) Zbl 1104.68731 J. Southwest Jiaotong Univ. 38, No. 3, 248-252 (2003). MSC: 68T27 03B70 × Cite Format Result Cite Review PDF
Du, Yajun; Xu, Yang Discussion of a category model of relational algebra in a relational database. (Chinese. English summary) Zbl 1097.68551 J. Southwest Jiaotong Univ. 38, No. 6, 703-707 (2003). MSC: 68P15 × Cite Format Result Cite Review PDF
Wang, Xue Fang; Qin, Ke Yun; Xu, Yang Adjoint semigroups induced by lattice implication algebras. (Chinese. English summary) Zbl 1333.03247 Fuzzy Syst. Math. 16, No. 1, 10-12 (2002). MSC: 03G10 20M99 × Cite Format Result Cite Review PDF
Ma, Jun; Qin, Keyun; Xu, Yang A semantic system of lattice-valued propositional logic based on a finite lattice implication algebra. (Chinese. English summary) Zbl 1038.03025 J. Southwest Jiaotong Univ. 37, No. 5, 557-560 (2002). MSC: 03B50 03G10 × Cite Format Result Cite Review PDF
Wang, Wei; Xu, Yang; Qin, Keyun The topological structure of lattice implication algebras. (Chinese. English summary) Zbl 1008.03528 J. Southwest Jiaotong Univ. 37, No. 3, 343-346 (2002). MSC: 03G10 06B30 × Cite Format Result Cite Review PDF
Zhao, Guangfeng; Xu, Yang; Song, Zhenming A note on the fuzzy filters of lattice implication algebras. (Chinese. English summary) Zbl 1008.03529 J. Southwest Jiaotong Univ. 37, No. 4, 477-481 (2002). MSC: 03G10 × Cite Format Result Cite Review PDF
Wang, Wei; Qin, Keyun; Xu, Yang Left idempotent elements of lattice implication algebras. (Chinese. English summary) Zbl 1333.06004 Fuzzy Syst. Math. 15, No. 4, 20-23 (2001). MSC: 06B05 03G10 03G25 × Cite Format Result Cite Review PDF
Pan, Wuming; Xu, Yang; Li, Tianrui Knowledge representation and reasoning on pattern classes. (Chinese. English summary) Zbl 1009.68144 J. Southwest Jiaotong Univ. 36, No. 4, 437-439 (2001). MSC: 68T10 × Cite Format Result Cite Review PDF
Li, Tianrui; Xu, Yang; Pan, Wuming The problem of \(\varphi\)-frequency closed itemset mining and its algorithm. (Chinese. English summary) Zbl 1006.68043 J. Southwest Jiaotong Univ. 36, No. 3, 225-228 (2001). MSC: 68P15 × Cite Format Result Cite Review PDF
Qin, Keyun; Xu, Yang On model properties of lattice implication algebra. (Chinese. English summary) Zbl 1008.03527 J. Southwest Jiaotong Univ. 35, No. 5, 546-550 (2000). MSC: 03G10 03B52 03C20 × Cite Format Result Cite Review PDF
Qin, Ke Yun; Xu, Yang; Song, Zhen Ming Some kinds of approximate reasoning based on system \(L(X)\). (Chinese. English summary) Zbl 1333.03055 Fuzzy Syst. Math. 12, No. 2, 55-60 (1998). MSC: 03B52 68T37 × Cite Format Result Cite Review PDF
Qin, Ke Yun; Xu, Yang; Song, Zhen Ming The lattice-valued system \(L(X)\) of propositional logic. II. (Chinese. English summary) Zbl 1333.03020 Fuzzy Syst. Math. 12, No. 1, 10-19 (1998). MSC: 03B50 × Cite Format Result Cite Review PDF
Qin, Keyun; Xu, Yang The category of fuzzy lattice implication algebras. (Chinese. English summary) Zbl 0938.03092 Math. Appl. 11, No. 3, 13-16 (1998). MSC: 03G10 08A72 08C05 × Cite Format Result Cite Review PDF
Qin, Ke Yun; Xu, Yang The lattice-valued system \(L(X)\) of propositional logic. I. (Chinese. English summary) Zbl 1333.03019 Fuzzy Syst. Math. 11, No. 4, 5-11 (1997). MSC: 03B50 × Cite Format Result Cite Review PDF
Xu, Yang Relations between lattice implication algebras and BCK algebras. (Chinese. English summary) Zbl 1332.06060 Fuzzy Syst. Math. 11, No. 1, 10-15 (1997). MSC: 06F35 03G25 × Cite Format Result Cite Review PDF
Song, Zhenming; Xu, Yang Congruence relations on lattice implication algebras. (Chinese. English summary) Zbl 0932.03071 Math. Appl. 10, No. 3, 121-124 (1997). Reviewer: Wang Cun-Zheng (Chengdu) MSC: 03G10 08A30 × Cite Format Result Cite Review PDF
Zhang, Qiang; Xu, Yang Lebesgue decompositions of signed fuzzy measures. (Chinese. English summary) Zbl 1332.28049 Fuzzy Syst. Math. 10, No. 4, 31-34 (1996). MSC: 28E10 × Cite Format Result Cite Review PDF
Deng, Fang; Xu, Yang On \(N(2,2,0)\) algebras. (Chinese. English summary) Zbl 0896.08002 J. Southwest Jiaotong Univ. 31, No. 4, 457-463 (1996). MSC: 08A40 08A05 06F35 03D35 08A50 × Cite Format Result Cite Review PDF
Qin, Keyun; Xu, Yang A generalized extension principle and its basic properties. (Chinese. English summary) Zbl 0837.04006 J. Southwest Jiaotong Univ. 30, No. 4, 429-433 (1995). MSC: 03E72 × Cite Format Result Cite Review PDF
Qiao, Quanxi; Xu, Yang Implication operators. (Chinese. English summary) Zbl 0850.03030 J. Southwest Jiaotong Univ. 30, No. 2, 188-193 (1995). MSC: 03B52 94D05 × Cite Format Result Cite Review PDF
Xu, Yang; Qin, Keyun Fuzzy lattice implication algebras. (Chinese. English summary) Zbl 0830.03030 J. Southwest Jiaotong Univ. 30, No. 2, 121-127 (1995). MSC: 03G10 × Cite Format Result Cite Review PDF
Hu, Jian Jun; Xu, Yang Structure analysis of a neural network for dynamic fuzzy inference. (Chinese. English summary) Zbl 1211.68320 Fuzzy Syst. Math. 8, No. 1, 62-73 (1994). MSC: 68T05 03B52 68T27 × Cite Format Result Cite Review PDF
Qin, Ke Yun; Xu, Yang Fuzzy power sets based on lattice implication algebras. (Chinese. English summary) Zbl 1210.03034 Fuzzy Syst. Math. 7, No. 2, 17-24 (1993). MSC: 03E72 03B52 × Cite Format Result Cite Review PDF
Xu, Yang Lattice implication algebras. (Chinese. English summary) Zbl 0784.03035 J. Southwest Jiaotong Univ. 1993, No. 1, 20-27 (1993). MSC: 03G10 03C90 × Cite Format Result Cite Review PDF
Xu, Yang Complemented lattice. (Chinese. English summary) Zbl 0757.06004 J. Southwest Jiaotong Univ. 1992, No. 1, 37-42 (1992). MSC: 06C15 03B52 54A40 × Cite Format Result Cite Review PDF
Xu, Yang; Zou, Kaiqi Reducibility of literals and minterms of Boolean logic formulas. (Chinese. English summary) Zbl 0704.03044 J. Southwest Jiaotong Univ. 1990, No. 1, 107-112 (1990). MSC: 03G05 94C10 × Cite Format Result Cite Review PDF
Xu, Yang Equivalent conditions for a lattice L to be a chain. (Chinese. English summary) Zbl 0666.06003 J. Southwest Jiaotong Univ. 1986, Suppl., 172-178 (1986). MSC: 06B05 × Cite Format Result Cite Review PDF