研究成果

主持的项目

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.(SCIEI).

(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.(SCIEI)

(3)  San-Min Wang, Bao-Shu Wang,  A characterization of truth-functions in the nilpotent minimum logic Fuzzy Sets and Systems145 (2)(2004)253-266.(SCIEI)

(4)  San-Min Wang, Bao-Shu Wang, NMLA schematic extension of F.Esteva and L.Godo's Logic Fuzzy Sets and Systems149 (2)(2005)285-295.(SCIEI)

(5)  San-Min Wang, Bao-Shu Wang,  A fuzzy logic for an ordinal sum t-norm, Fuzzy Sets and SystemsSystems149 (2)(2005)297-307.(SCIEI)

(6)  San-min Wang, Ming-yan WangUndefinability of min-conjunction in MTLFuzzy Sets and Systems157 (2006) 670 – 676. (SCIEI) 

(7)  San-Min Wang, Min-yan Wang, Disjunctive elimination rule and its application in MTL, Fuzzy Sets and Systems157 (2006) 3169-3176. (SCIEI) 

(8)  San-Min Wang, Feng Qin, Min-yan Wang, Solutions to Cintula‘s open problemsFuzzy Sets and Systems157 (2006) 2091-2099. (SCIEI)

(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. (SCIEI)

(10)       San-Min Wang, P.Cintula,  Logics with disjunction and proof by cases, Archive for Mathematical Logic47(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)       王三民, 赵彬, LPiSchweizer-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 Logic51(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. (SCIEI)

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

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

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

 

姓名:王三民

性别:

所在部门:理学院

行政职务:

专业技术职务:教授

人才称号

所属学科


Copyright © 2025 by CNVP All Rights Reserved.