A fuzzy logic for an ordinal sum t-norm SM Wang, BS Wang, DW Pei Fuzzy Sets and Systems 149 (2), 297-307, 2005 | 57 | 2005 |
A triangular-norm-based propositional fuzzy logic SM Wang, BS Wang, GJ Wang Fuzzy Sets and Systems 136 (1), 55-70, 2003 | 42 | 2003 |
A fuzzy logic for the revised drastic product t-norm S Wang Soft computing 11, 585-590, 2007 | 41 | 2007 |
Uninorm logic with the n-potency axiom S Wang Fuzzy Sets and Systems 205, 116-126, 2012 | 30 | 2012 |
A characterization of truth-functions in the nilpotent minimum logic SM Wang, BS Wang, XY Wang Fuzzy Sets and Systems 145 (2), 253-266, 2004 | 27 | 2004 |
Logics with disjunction and proof by cases SM Wang, P Cintula Archive for Mathematical Logic 47 (5), 435-446, 2008 | 26 | 2008 |
Logics for residuated pseudo-uninorms and their residua W San-Min Fuzzy Sets and Systems 218, 24-31, 2013 | 24 | 2013 |
NMŁ, a schematic extension of F. Esteva and L. Godo's logic MTL SM Wang, BS Wang, F Ren Fuzzy Sets and Systems 149 (2), 285-295, 2005 | 22 | 2005 |
Involutive uninorm logic with the n-potency axiom SM Wang Fuzzy Sets and Systems 218, 1-23, 2013 | 19 | 2013 |
HpsUL is not the logic of pseudo-uninorms and their residua S Wang, B Zhao Logic Journal of IGPL 17 (4), 413-419, 2009 | 19 | 2009 |
Disjunctive elimination rule and its application in MTL SM Wang, MY Wang Fuzzy sets and systems 157 (24), 3169-3176, 2006 | 14 | 2006 |
The completeness of the formal deductive system L√ n DW Pei, SM Wang Appl. Math. J. Chinese Univ. Ser. A 16 (3), 253-262, 2001 | 10 | 2001 |
Solutions to Cintula's open problems SM Wang, F Qin, MY Wang Fuzzy sets and systems 157 (15), 2091-2099, 2006 | 7 | 2006 |
Undefinability of min-conjunction in MTL S Wang, M Wang Fuzzy sets and systems 157 (5), 670-676, 2006 | 7 | 2006 |
The finite model property for semilinear substructural logics SM Wang Mathematical Logic Quarterly 59 (4-5), 268-273, 2013 | 6 | 2013 |
A proof of the standard completeness for the involutive uninorm logic SM Wang Symmetry 11 (4), 445, 2019 | 5 | 2019 |
The logic of pseudo-uninorms and their residua SM Wang Symmetry 11 (3), 368, 2019 | 5 | 2019 |
Study of situation assessment method based on plan recognition theory W Li, S Wang, BS Wang 电子与信息学报 28 (3), 532-536, 2006 | 5 | 2006 |
On an axiomatic system for the logic of linearly ordered BCI-matrices S Wang, DW Pei Archive for Mathematical Logic 51 (3), 285-297, 2012 | 4 | 2012 |
Density elimination for semilinear substructural logics SM Wang arXiv preprint arXiv:1509.03472, 2015 | 3 | 2015 |