
个人简介
王三民,男,1969年10生,博士,教授,硕士生导师。主要从事模糊逻辑多值逻辑的研究。先后主持三项国家基金,发表文章三十多篇。2013年6月至8月在悉尼科技大学访学。2016年12月在中山大学召开的非经典逻辑及其应用国际会议(WOLC2016)上作特邀报告,报告题目是《Remarks on Density Elimination for Semilinear Substructural Logics》。
电子邮箱:wangsanmin@hotmail.com
办公室:18-903
研究领域
1.模糊逻辑多值逻辑
2.抽象代数逻辑
主持项目情况
1.几类重要实代数簇的等式理论的完备性、可计算性及其在智能计算中的应用,国家基金,58万,2014年1月至2017年12月
2.模糊逻辑证明论、量词理论及蕴涵算子的构造问题研究,国家基金,16万,2009年1月至2011年12月
3.模糊逻辑形式系统的构造、判定及定理证明算法研究,国家基金,7万,2006年1月至2006年12月
发表论文情况
1. San-Min Wang, The Finite Model Property for Semilinear Substructural Logics, Math. Log. Quart. 59, No. 4-5, 268-273 (2013)
2. San-Min Wang, Logics for residuated pseudo-uninorms and their residua, Fuzzy Sets and Systems, 218 (2013) 24-31.
3. San-Min Wang, Involutive uninorm logic with the n-potency axiom, Fuzzy Sets and Systems, 218 (2013) 1-23.
4. San-Min Wang, Uninorm logic with the n-potency axiom, Fuzzy Sets and Systems, 205 (2012) 116-126.
5. 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.
6. 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.
7. San-Min Wang, Bin Zhao, Prenex normal form in linguistic quantifiers modeled by Sugeno integrals, Fuzzy Sets and Systems,159(13) (2008) 1719-1723.
8. San-Min Wang, P.Cintula, Logics with disjunction and proof by cases, Archive for Mathematical Logic, 47 (5) ( 2008) 435-446.
9. San-Min Wang, A fuzzy logic for the revised drastic product t-norm, Soft Computing, 11 (2007) 585-590.
10.San-min Wang, Ming-yan Wang,Undefinability of min-conjunction in MTL,Fuzzy Sets and Systems,157 (2006) 670-676.
11. San-Min Wang, Min-yan Wang,Disjunctive elimination rule and its application in MTL, Fuzzy Sets and Systems,157 (2006) 3169-3176.
12. San-Min Wang, Feng Qin, Min-yan Wang,Solutions to Cintula‘s open problems,Fuzzy Sets and Systems, 157 (2006) 2091-2099.
13. 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.
14. San-Min Wang,Bao-Shu Wang, A fuzzy logic for an ordinal sum t-norm, Fuzzy Sets and Systems,149 (2) (2005) 297-307.
15. 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.
16. 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.
17. 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.
18. Bin Zhao,San-Min Wang, Solutions to two problems of G.J.Wang,Science in China (Series A), 44 (7) (2001).