研究成果
主持的项目
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)