科研工作:

主持的项目

1. 几类重要实代数簇的等式理论的完备性、可计算性及其在智能计算中的应用, 国家基金，58万，在研2. 模糊逻辑证明论、量词理论及蕴涵算子的构造问题研究，国家基金，16万，已结题3. 模糊逻辑形式系统的构造、判定及定理证明算法研究，国家基金，7万，已结题

论文发表

(1) San-Min Wang, Bao-Shu Wang, Guo-Jun Wang, A triangular norm-based propositional fuzzy logic, Fuzzy Sets and Systems, 136 (1)(2003)55-70.(SCI、EI).

(2) San-Min Wang, Bao-Shu Wang, Guo-Jun Wang, A triangular norm-based fuzzy predicate logic， Fuzzy Sets and Systems, 138 (1)(2003)177-186.(SCI、EI)

(3) San-Min Wang, Bao-Shu Wang, A characterization of truth-functions in the nilpotent minimum logic， Fuzzy Sets and Systems，145 (2)(2004)253-266.(SCI、EI)

(4) San-Min Wang, Bao-Shu Wang, NML，A schematic extension of F.Esteva and L.Godo's Logic Fuzzy Sets and Systems，149 (2)(2005)285-295.(SCI、EI)

(5) San-Min Wang, Bao-Shu Wang, A fuzzy logic for an ordinal sum t-norm, Fuzzy Sets and Systems，Systems，149 (2)(2005)297-307.(SCI、EI)

(6) San-min Wang, Ming-yan Wang，Undefinability of min-conjunction in MTL，Fuzzy Sets and Systems，157 (2006) 670 – 676. (SCI、EI)

(7) San-Min Wang, Min-yan Wang, Disjunctive elimination rule and its application in MTL, Fuzzy Sets and Systems，157 (2006) 3169-3176. (SCI、EI)

(8) San-Min Wang, Feng Qin, Min-yan Wang, Solutions to Cintula‘s open problems，Fuzzy Sets and Systems，157 (2006) 2091-2099. (SCI、EI)

(9) San-Min Wang, Bin Zhao, Prenex normal form in linguistic quantifiers modeled by Sugeno integrals, Fuzzy Sets and Systems,159(13) (2008) 1719-1723. (SCI、EI)

(10) San-Min Wang, P.Cintula, Logics with disjunction and proof by cases, Archive for Mathematical Logic，47(5)( 2008)435-446. (SCI)

(11) San-Min Wang, A fuzzy logic for the revised drastic product t-norm, Soft Computing, 11 (2007)585-590. (SCI)

(12) San-Min Wang, A logical framework for fuzzy quantifiers Part I: Basic properties, Advances in Soft Computing. 42(2007)602-611. (ISTP)

(13) San-Min Wang, How to Construct Formal Systems for Fuzzy Logics, Advances in Soft Computing. 42(2007)593-601. (ISTP)

(14) 王三民, 贝叶斯网络在战术态势评估中的应用, 系统工程与电子技术, 26(11)(2004) 1620-1623. (EI).

(15) 王三民, 模糊逻辑L*和NM的公理系统的简化, 模糊系统与数学, 20(2)(2006) 18-22. (CSCD)

(16) San-Min Wang, A partially ordered algebra related with BCI-logic, Journal of fuzzy systems and mathematics, 模糊系统与数学, 21(3)( 2007)60-65. (CSCD)

(17) 王三民, 赵彬, LPi是Schweizer-Sklar参数化三角模及其剩余算子的逻辑, 模糊系统与数学, 22(6)( 2008)5-20. (CSCD)

(18) San-Min Wang, NM1/2, a Fuzzy logic for an ordinal sum T-norm, IFSA2005, Vol1(2005)99-104.

(19) Bin Zhao, San-Min Wang, Solutions to two problems of G.J.Wang, Science in China (Series A), 44(7)(2001). (SCI)

(20) Wang San-min, Zhao Bin, HpsUL is not the logic of pseudo-uninorms and their residua, Logic Journal of the IGPL, 17(4):413–419, 2009. (SCI)

(21)San-Min Wang, Dao-Wu Pei, On an axiomatic system for the logic of linearly ordered BCI-matrices, Archive for Mathematical Logic，51(3-4)( 2012)285-297. (SCI)

(22) San-Min Wang, Uninorm logic with the n-potency axiom, Fuzzy Sets and Systems, 205 (2012) 116-126. (SCI、EI)

(23) San-Min Wang, Involutive uninorm logic with the n-potency axiom, Fuzzy Sets and Systems, 218 (2013) 1-23. (SCI、EI)

(24)San-Min Wang, Logics for residuated pseudo-uninorms and their residua, Fuzzy Sets and Systems, 218 (2013) 24-31. (SCI、EI)

(25) San-Min Wang, The Finite Model Property for Semilinear Substructural Logics, Math. Log. Quart. 59, No. 4-5, 268-273 (2013) (SCI)