王国俊——陕西师范大学教授

王国俊，1935年出生，男，汉族，陕西渭南县人，中共党员。陕西师范大学数学与信息科学学院教授，博士研究生导师，数学研究所所长。先后在美国加州大学、麻州大学、伊利诺伊大学和佛罗里达大学，日本的明治大学、筑波大学、大阪电气通信大学，韩国的延世大学，比利时的安特卫普大学等20余所国外大学讲学。

教育及工作经历：

1958年7月毕业于西安师范学院数学系，毕业后在中学任教20年。

1978年4月调入陕西师大数学系。

1983年被破格晋升为教授。

1986年被国务院专家组评为博士生导师。

1986年5月至1994年10月任陕西师范大学校长。

社会职务:

1、中国数学会理事。

2、中国模糊系统学会副主任委员。

3、陕西省科学技术协会常务理事。

4、陕西省数学会副理事长、理事长。

5、陕西省教育国际交流学会副主席、副会长。

6、教育部教师教育专家委员会委员。

7、中国计算机学会多值逻辑与计算智能委员会副主任。

8、美国《数学评论》评论员。

9、美国数学会会员。

10、陕西省学位委员会委员。

11、《模糊系统与数学》副主编。

12、《工程数学学报》编委。

13、《数学研究与评论》编委。

14、《东北数学》编委。

15、《纯粹数学与应用数学》编委。

16、Int. Journal 《 Fuzzy Mathematics 》编委。

17、《陕西师大学报》（自然科学版）主编。

已培养了80多名硕士生、博士生及进修教师。

研究方向：

长期从事教学和数学研究，格序拓扑、多值逻辑、不确定性推理。

承担的科研情况：

主要参加完成国家自然科学基金重点项目3项、主持完成国家自然科学基金2项。

科研成果：

第一，提出了良紧性理论，被俄权威评论刊物《数学科学的成就》评为“最好的模糊紧性”，被波兰拓扑学家Kubiac称为“中国紧性”；

第二，创立了拓扑分子格理论；

第三，提出了模糊推理的全蕴涵三I方法，在美国信息科学联合会议上受到高度赞扬。

资料更新中……

在国际、国内数学权威杂志发表SCI文章200余篇，出版专著10多部。

出版专著：

1、L-fuzzy 拓扑空间论 陕西师范大学出版社 1988

2、拓扑分子格理论 陕西师范大学出版社 1990

3、模糊数学引论 西安交通大学出版社 1991

4、讲授艺术论 陕西师范大学出版社 1992

5、非经典数理逻辑与近似推理 科学出版社 2000,2003

6、现代数学手册 华中科技大学出版社 2001

7、数理逻辑引论与归结原理 科学出版社 2003

8、词语计算与 Fuzzy 集 高等教育出版社 2004

9、计算机智能（第二册）——词语计算与Fuzzy集 高等教育出版社 2005

10、非经典数理逻辑与近似推理(第二版) 科学出版社 2010

资料更新中……

发表论文：

1 系统H_α中的子代数的广义重言式理论 李顺琴; 王国俊 计算机工程与应用 2010-03-11

2 正则蕴涵算子所对应的逻辑伪度量空间 李璧镜; 王国俊 电子学报 2010-03-15

3 逻辑伪度量空间中的孤立点 李璧镜; 王国俊 计算机工程与应用 2010-04-11

4 BR_0代数中的模糊布尔滤子 詹婉荣; 于海; 王国俊 云南师范大学学报(自然科学版) 2009-01-15

5 广义近似空间与拓扑空间 王茹; 王国俊 云南师范大学学报(自然科学版) 2009-03-15

6 逻辑系统NMG的满足性和紧致性 周红军; 王国俊 软件学报 2009-03-15

7 逻辑方程解的性质 于鹏; 王国俊 模糊系统与数学 2009-02-15

8 n值逻辑系统L_n~*中广义重言式的计量化研究 王国俊; 时慧娴 陕西师范大学学报(自然科学版) 2009-03-10

9 n值Lukasiewicz逻辑中命题的条件真度理论 高荣荣; 郭秀敏; 王国俊 延安大学学报(自然科学版) 2009-03-20

10 MV代数的度量化研究及其在Lukasiewicz命题逻辑中的应用 王国俊; 周红军 数学学报 2009-05-15

11 模态逻辑中的(n)真度理论与和谐定理 王国俊; 段巧林 中国科学（F辑:信息科学） 2009-02-15

12 效应代数中的模糊滤子 刘东利; 王国俊 模糊系统与数学 2009-06-15

13 模态R_0代数与模态滤子的若干性质 马海斌; 王国俊 陕西师范大学学报(自然科学版) 2009-07-10

14 模糊模态逻辑系统M■uk中的可达广义重言式 邹尚田; 王国俊 山东大学学报(理学版) 2009-08-16

15 命题逻辑系统中理论的真度概念及其应用 王国俊; 高香妮 陕西师范大学学报(自然科学版) 2009-09-10

16 三值命题逻辑系统L_3~*中逻辑理论性态的拓扑刻画 折延宏; 王国俊 数学学报 2009-11-15

17 二值逻辑的D-条件真度理论 高香妮; 王国俊 云南师范大学学报(自然科学版) 2009-11-15

18 经典逻辑度量空间上的反射变换 胡明娣; 王国俊 陕西师范大学学报(自然科学版) 2009-11-10

19 Lukasiewicz三值逻辑中命题的真度值之集在[0,1]上的分布 马丽娜; 王国俊 山东大学学报(理学版) 2009-10-15

20 模糊模态逻辑中的永真式与准永真式 胡明娣; 王国俊 电子学报 2009-11-15

21 广义三角模和广义剩余蕴涵之间的对应关系 李璧镜; 王国俊 计算机工程与应用 2010-01-11

22 Lukasiewicz命题集的发散性与相容性 王国俊; 任燕 工程数学学报 2003-06-15

23 形式系统L~*的扩张L_n~*及其完备性 裴道武; 王国俊 中国科学E辑:技术科学 2003-04-20

24 系统H_α中的广义重言式理论 王国俊; 兰蓉 陕西师范大学学报(自然科学版) 2003-06-05

25 一种新型的三I算法及其逻辑基础 王国俊; 宋庆燕 自然科学进展 2003-06-25

26 Lukasiweicz n值命题逻辑中公式的真度理论和极限定理 王国俊; 李璧镜 中国科学E辑:信息科学 2005-06-20

27 累积缺省逻辑的扩充 傅丽; 王国俊 计算机工程与应用 2005-06-01

28 伪度量L~*-Lindenbaum代数中基本运算的连续性 王伟; 王国俊 陕西师范大学学报(自然科学版) 2005-06-05

29 正则余剩余格的特征及其应用 郑慕聪; 王国俊 自然科学进展 2005-05-25

30 扩充与缺省规则的简化和分类 傅丽; 王国俊 计算机工程与应用 2005-07-11

31 论G?del蕴涵算子不宜用于建立模糊逻辑系统 王伟; 王国俊 模糊系统与数学 2005-06-28

32 多值逻辑系统W_n中α-三I问题的形式解 刘东利; 王国俊 计算机工程与应用 2005-09-01

33 正则蕴涵算子分析性质的研究 任芳; 王国俊 陕西师范大学学报(自然科学版) 2005-09-05

34 命题公式集F(S)的基于R_0-算子的16类分划 韩诚; 王国俊 数学研究与评论 2005-08-25

35 基于正则蕴涵算子与强否定的支持度理论 周红军; 王国俊 自然科学进展 2005-09-25

36 FMP问题的构造性方法 张东晓; 王国俊 陕西师范大学学报(自然科学版) 2005-12-05

37 几个三值命题逻辑系统中命题真度的分布 茹永梅; 王国俊 陕西师范大学学报(自然科学版) 2005-12-05

38 余剩余格及其应用 郑慕聪; 王国俊 模糊系统与数学 2005-12-28

39 R_0-代数上的Fuzzy同余关系 周红军; 王国俊 模糊系统与数学 2005-12-28

40 广义R_0-代数 颉永建; 王国俊 模糊系统与数学 2005-12-28

41 模糊测度Shapley熵的完备化 王国俊; 宋建社 陕西师范大学学报(自然科学版) 2004-03-05

42 Boole代数上的度量结构及其在命题逻辑中的应用 王国俊; 宋庆燕; 宋玉靖 数学学报 2004-03-15

43 从事实逻辑到任务逻辑 王国俊; 许文艳 模糊系统与数学 2004-03-28

44 F(S)在Lukasiewicz逻辑系统中的一种分划 马晓珏; 王国俊 陕西师范大学学报(自然科学版) 2004-06-05

45 ?的正则子R_0代数及其应用 王龙春; 王国俊 陕西师范大学学报(自然科学版) 2004-06-05

46 R_0-代数[0,1]的子代数与广义重言式 王龙春; 王国俊 数学学报 2004-05-15

47 R_0代数的Fuzzy MP滤子 苏忍锁; 王国俊 模糊系统与数学 2004-06-28

48 无前提规范闭缺省理论的扩充的构造 傅丽; 王国俊; 王伟 工程数学学报 2004-08-30

49 RL型蕴涵与Fuzzy推理的三I算法 苏忍锁; 王国俊 陕西师范大学学报(自然科学版) 2004-09-05

50 三I算法的统一形式 傅丽; 王国俊 陕西师范大学学报(自然科学版) 2004-09-05

51 命题演算系统L~*与谓词演算系统κ~*中统一的近似推理理论 王国俊; 钱桂生; 党创寅 中国科学E辑:信息科学 2004-10-20

52 一阶逻辑完备性定理的新代数证明 王国俊; 周红军 陕西师范大学学报(自然科学版) 2004-12-05

53 紧Hausdorff测度空间上的Riemann积分理论 王国俊 数学学报 2004-11-15

54 热烈祝贺《高等数学研究》创刊50周年 王国俊 高等数学研究 2004-12-30

55 平移空间的线性结构 王国俊; 白永成 数学学报 2005-01-15

56 一类二值谓词逻辑中公式的准真度理论 王国俊; 秦晓燕; 周湘南 陕西师范大学学报(自然科学版) 2005-03-05

57 模糊推理的全蕴涵三I算法 王国俊 中国科学E辑:技术科学 1999-02-15

58 关于模糊语义紧致性的若干定理 王国俊 科学通报 1999-06-23

59 论聚合与推理的顺序 王国俊 陕西师范大学学报(自然科学版) 1999-03-05

60 R_0代数及其基本结构 程国胜; 王国俊 数学物理学报 1999-12-30

61 蕴涵格及其Fuzzy拓扑表现定理 王国俊 数学学报 1999-01-15

62 《FRAME与连续格》评注 王国俊; 赵东升 数学研究与评论 1999-02-15

63 一阶逻辑完备性定理的代数证明 王国俊 陕西师范大学学报(自然科学版) 2002-12-05

64 Lukasiewicz语义集上的紧Hausdorff拓扑 王国俊 数学学报 2002-09-15

65 MV-代数、BL-代数、R_0-代数与多值逻辑 王国俊 模糊系统与数学 2002-06-30

66 模糊推理的一个新方法 王国俊 模糊系统与数学 1999-09-30

67 映射与逆映射 王国俊 商洛师范专科学校学报 1999-11-15

68 关于模糊推理的若干基本问题 王国俊 工程数学学报 2000-12-30

69 三I方法与区间值模糊推理 王国俊 中国科学E辑:技术科学 2000-08-25

70 关于抽象逻辑紧致性的一个定理 王国俊 陕西师范大学学报(自然科学版) 2000-03-05

71 广义MP规则 王国俊 陕西师范大学学报(自然科学版) 2000-09-05

72 用反链方法估计可分布尔函数的个数 王国俊; 王伟 数学学报 2000-09-15

73 广义AND-OR函数及其单层网络结构 王国俊 聊城师院学报(自然科学版) 2000-03-25

74 L~*系统的一种弱完全对偶形式系统WCL 吴洪博; 王国俊 西安石油学院学报(自然科学版) 2000-11-26

75 学一点数理逻辑 王国俊 高等数学研究 2000-03-28

76 学一点数理逻辑(续) 王国俊 高等数学研究 2000-06-28

77 二值命题逻辑中命题的真度理论 王国俊; 傅丽; 宋建社 中国科学(A辑) 2001-11-20

78 适用于多种蕴涵算子的赋值空间上的测度与积分理论 王国俊 中国科学E辑:技术科学 2001-02-20

79 区间值模糊推理的FOOL方法的细致化 王国俊; 王向云; 宋建社 陕西师范大学学报(自然科学版) 2001-09-05

80 逻辑度量空间 王国俊; 王伟 数学学报 2001-01-15

81 完备格中的成分理论 王国俊 数学学报 2001-09-15

82 谈谈成功之路 王国俊 陕西师范大学继续教育学报 2001-06-30

83 数论在密码学中的应用 王国俊 工程数学学报 2002-02-28

84 形式系统?~*的完备性及其应用 裴道武; 王国俊 中国科学E辑:技术科学 2002-02-20

85 论拓扑分子格与经典拓扑空间的本质区别 王国俊 陕西师大学报(自然科学版) 1994-12-05

86 S─闭对称拓扑分子格 王国俊 延安大学学报(自然科学版) 1994-08-25

87 反链在正则三值逻辑函数个数计算中的应用 王国俊 陕西师大学报(自然科学版) 1995-09-05

88 三角型模糊数空间的可分性、局部紧性和完备性 王国俊 工程数学学报 1996-08-30

89 Stone表现定理与广义空间理论 王国俊 江汉石油学院学报 1996-09-20

90 反链方法及其在正则三值逻辑函数计数上的应用 王国俊 科学通报 1996-11-08

91 论袋映射及其结构 王国俊 模糊系统与数学 1996-09-30

92 拓扑分子格范畴与相关范畴的关系 王国俊; 李永明 科学通报 1997-02-23

93 模糊命题演算的一种形式演绎系统 王国俊 科学通报 1997-05-23

94 一类代数上的逻辑学(Ⅰ) 王国俊 陕西师范大学学报(自然科学版) 1997-03-05

95 一类代数上的逻辑学(Ⅱ) 王国俊 陕西师范大学学报(自然科学版) 1997-09-05

96 三角型模糊数空间的均匀性 王国俊 纯粹数学与应用数学 1997-10-30

97 关于Fuzzy格的若干注记—兼评直觉主义模糊集 何颖瑜; 王国俊 模糊系统与数学 1997-12-30

98 L~*-Lindenbaum代数的结构与L~*公理系统的简化形式 何颖俞; 王国俊 工程数学学报 1998-02-15

99 修正的Kleene系统中的Σ-(α-重言式)理论 王国俊 中国科学E辑:技术科学 1998-04-15

100 L~*中的典型赋值中介与公理系统的简化 何颖俞; 王国俊 科学通报 1998-03-23

101 蕴涵格与Stone表现定理的推广 王国俊 科学通报 1998-06-08

102 三值Majority函数单调的充要条件 刘练珍; 王国俊 科学通报 1998-06-23

103 有理数、无理数与实数 王国俊 数学的实践与认识 1998-08-15

104 不同蕴涵算子下的三Ⅰ算法 周保魁; 王国俊 陕西师范大学学报(自然科学版) 1998-12-05

105 拓扑空间范畴、拓扑FUZZ范畴与拓扑分子格范畴间的反射与余反射 李永明; 王国俊 数学学报 1998-07-15

106 Fuzzy蕴涵代数与MV代数 刘练珍; 王国俊 模糊系统与数学 1998-03-30

107 一族OWA袋映射带有单位的若干充分条件 侯健; 王国俊 模糊系统与数学 1998-06-30

108 模糊推理与模糊逻辑 王国俊 系统工程学报 1998-06-30

109 内蕴拓扑与Hutton单位区间的细致化 王国俊; 徐罗山 中国科学(A辑 数学 物理学 天文学 技术科学) 1992-07-29

110 拟一致结构与拓扑 王国俊; 王灏 数学学报 1993-05-01

111 极小Hausdorff L—fuzzy拓扑空间 王国俊 陕西师大学报(自然科学版) 1993-07-02

112 关于序列的聚点之集的连通性的一点注记 王国俊 科学通报 1979-06-30

113 S-闭空间的性质 王国俊 数学学报 1981-03-02

114 S-闭空间的绝对闭性 王国俊 科学通报 1982-11-12

115 拓扑分子格的分离公理 王国俊 数学研究与评论 1983-07-02

116 广义拓扑分子格 王国俊 中国科学(A辑 数学 物理学 天文学 技术科学) 1983-12-27

117 拓扑分子格(Ⅰ) 王国俊 科学通报 1983-09-28

118 一种新的Fuzzy连通性 赵东升; 王国俊 科学通报 1983-10-28

119 偏序集、极大元与定向集 王国俊 数学研究与评论 1984-04-01

120 评《点集拓扑学基础》 王国俊; 赵东升 数学研究与评论 1984-07-01

121 完全分配格中的极大族理论及其应用 王国俊; 杨忠强 工程数学学报 1984-04-01

122 论Fuzzy格之构造 王国俊 科学通报 1984-09-12

123 Fuzz函数成为Zadeh型函数的充要条件 王国俊 自然杂志 1984-07-29

124 关于序同态的若干特征定理 王国俊 科学通报 1985-03-02

125 论Fuzzy格之构造 王国俊 数学学报 1986-08-29

126 ?-极小集理论及其应用 王国俊 科学通报 1986-07-30

127 不分明拓扑学的若干研究方向 王国俊 数学研究与评论 1987-07-02

128 L-fuzzy拓扑空间的乘积空间 王国俊 模糊系统与数学 1987-06-15

129 完全分配格上的序同态 王国俊 数学进展 1987-03-02

130 L—fuzzy拓扑空间中的连通性 王国俊 陕西师大学报(自然科学版) 1987-10-01

131 完备格L上的三角结构 王国俊 陕西师大学报(自然科学版) 1990-07-02

132 试论大学生的内化与外化 王国俊 陕西师大学报(哲学社会科学版) 1991-12-31

133 模糊推理的全蕴涵三Ⅰ算法 王国俊 面向21世纪的科技进步与社会经济发展（上册） 1999-10-18

134 Fuzzy逻辑与有序代数 王国俊 中国系统工程学会模糊数学与模糊系统委员会第十一届年会论文选集 2002-09-01

135 数理逻辑中的数值化方法(英文) 王国俊 第12届全国模糊系统与模糊数学学术年会论文集 2004-06-30

136 一种新的理论的相容度及近似推理方法 王茹; 王国俊 第六届中国不确定系统年会论文集 2008-08-01

137 关于描述逻辑中不动点语义的讨论 郭秀敏; 王国俊 第六届中国不确定系统年会论文集 2008-08-01

138 根与几种命题逻辑系统中的近似推理 段巧林; 王国俊 第六届中国不确定系统年会论文集 2008-08-01

139 蕴涵格的正规MP-滤子与素滤子 胡明娣; 于鹏; 王国俊 第六届中国不确定系统年会论文集 2008-08-01

140 命题逻辑中的程度化方法 王国俊; 宋建社 电子学报 2006-02-28

141 剩余格中的Fuzzy(P)滤子 马丽娜; 王国俊 陕西师范大学学报(自然科学版) 2006-03-05

142 计量逻辑学(Ⅰ) 王国俊 工程数学学报 2006-04-15

143 几类n值逻辑系统中的MP滤子 罗清君; 王国俊 陕西理工学院学报(自然科学版) 2006-03-30

144 基于完备BR_0-代数的全蕴涵三I算法 吴洪博; 王国俊; 于鸿丽 数学研究与评论 2006-05-30

145 逻辑系统L_n~*中命题的真度理论 李骏; 王国俊 中国科学E辑:信息科学 2006-06-20

146 一阶模糊谓词逻辑公式的区间解释真度理论 张兴芳; 王国俊; 孟广武 模糊系统与数学 2006-04-30

147 命题逻辑系统L~*的有效集 任芳; 王国俊 模糊系统与数学 2006-04-30

148 Lukasie wicz命题集的积分真度、发散度与相容度的分布 李立峰; 王国俊 陕西师范大学学报(自然科学版) 2006-06-05

149 一种求概念格属性约简的方法 李立峰; 王国俊 计算机工程与应用 2006-07-11

150 关于三IFMT问题的若干注记 惠小静; 王国俊 模糊系统与数学 2006-08-30

151 ■ukasiewicz命题逻辑系统中的赋值决定公式问题 王国俊; 李立峰 陕西师范大学学报(自然科学版) 2006-09-05

152 IL型三I算法及其还原性 罗清君; 王国俊 陕西师范大学学报(自然科学版) 2006-09-05

153 根与F(S)中的近似推理 于鹏; 王国俊 自然科学进展 2006-08-30

154 基础R_0代数的结构研究 胡明娣; 王国俊 纺织高校基础科学学报 2006-09-30

155 人工智能中缺省逻辑的可表示性(英文) 傅丽; 王国俊 工程数学学报 2006-10-15

156 关于偏序集上的关联蕴涵代数 吴苏朋; 王国俊; 王永安 西安文理学院学报(自然科学版) 2006-10-30

157 R_0-代数的R_0-语义集上的拓扑 张家录; 王国俊 自然科学进展 2006-09-30

158 n值Lkasiewicz命题逻辑中命题的α-真度理论 李骏; 王国俊 计算机工程与应用 2006-11-01

159 余剩余格的理想和嵌入定理 王国俊; 郑慕聪; 刘艳 陕西师范大学学报(自然科学版) 2006-12-05

160 s代数的性质 许格妮; 王国俊 纺织高校基础科学学报 2006-12-30

161 三I方法综述——它的提出、发展、应用和逻辑版本 王国俊; 刘华文; 宋建社 模糊系统与数学 2006-12-30

162 从Riemann积分的定义看推广变量收敛理论的必要性 王国俊 高等数学研究 2006-11-30

163 偏蕴涵代数 关晓红; 王国俊; 韩邦合 南阳师范学院学报 2006-12-26

164 可交换弱R_0代数 吴苏朋; 王国俊 云南师范大学学报(自然科学版) 2007-01-15

165 G?del n值命题逻辑中命题的α-真度理论 李骏; 王国俊 软件学报 2007-01-30

166 基础R_0_代数的正规MP-滤子和布尔MP-滤子 胡明娣; 王国俊 计算机工程与应用 2007-02-11

167 系统H_a中广义语义MP规则与广义语义HS规则 关晓红; 折延宏; 王国俊 陕西师范大学学报(自然科学版) 2007-03-05

168 一类Lukasiewicz n+1值逻辑系统中VDF问题的求解理论 罗清君; 王国俊 数学进展 2007-04-15

169 命题集F(S)基于相似关系定义的拓扑 刘保翠; 王国俊 安康学院学报 2007-06-15

170 经典推理模式的随机化研究及其应用 惠小静; 王国俊 中国科学(E辑:信息科学) 2007-06-15

171 命题逻辑中极大和谐理论之集上的拓扑与Cantor三分集 王国俊; 王伟; 宋建社 陕西师范大学学报(自然科学版) 2007-06-05

172 基于正则蕴涵算子的三I算法的性质 于鹏; 王国俊 陕西师范大学学报(自然科学版) 2007-06-05

173 修正的Kleene系统中的子代数的广义矛盾式 李顺琴; 王国俊 纺织高校基础科学学报 2007-06-30

174 四种命题逻辑中公式的相对Γ-重言度理论 王国俊; 刘保翠 工程数学学报 2007-08-15

175 n值逻辑系统MTL_n中命题的程度化方法 李骏; 王国俊; 周艳 计算机工程与应用 2007-07-21

176 几类基于L~*上二元聚合算子的蕴涵(英文) 刘华文; 王国俊 模糊系统与数学 2007-06-15

177 全蕴涵多Ⅰ算法及其在多准则决策中的应用 刘华文; 王国俊; 张诚一 山东大学学报(理学版) 2007-06-15

178 二值命题逻辑中理论的发散性、相容性及其拓扑刻画 王国俊; 折延宏 数学学报 2007-07-15

179 几种逻辑系统中的近似推理理论 刘华文; 王国俊; 张诚一 山东大学学报(理学版) 2007-07-24

180 概率逻辑学基本定理的推广 王国俊; 惠小静 电子学报 2007-07-15

181 概念格属性约简的判定 张东晓; 王国俊 计算机工程与应用 2007-08-01

182 二值逻辑中命题的条件真度理论 韩邦合; 王国俊 模糊系统与数学 2007-08-15

183 Boole代数的等价刻画 段景瑶; 王国俊 宝鸡文理学院学报(自然科学版) 2007-09-15

184 概率逻辑伪度量空间及其性质 惠小静; 王国俊; 崔志明 模糊系统与数学 2007-10-15

185 基于支持度理论的广义Modus Ponens问题的最优解 李骏; 王国俊 软件学报 2007-11-15

186 Lukasiewicz命题逻辑系统一种新的理论的相容度 张建成; 王国俊 数学进展 2007-12-15

187 D-逻辑度量空间与近似推理 惠小静; 王国俊 南京大学学报数学半年刊 2007-11-15

188 模态逻辑系统S5中的范式定理及其在知识系统中的应用 王国俊 陕西师范大学学报(自然科学版) 2008-01-10

189 基于支持度理论的广义MP问题的形式化解 李骏; 王国俊 电子学报 2008-11-15

190 Tableau-based算法的改进与有限步终止定理 王国俊; 李璧镜 陕西师范大学学报(自然科学版) 2008-11-10

191 修正的G?del逻辑系统中子代数的广义重言式理论 李顺琴; 王国俊 计算机工程与应用 2008-12-21

192 关于K的三种模糊模态逻辑 段景瑶; 王国俊 山东大学学报(理学版) 2008-12-16

193 知识推理的程度化方法(英文) 李骏; 王国俊; 李建生 南京大学学报数学半年刊 2008-05-15

194 二值命题逻辑中命题真度相同与逻辑等价的关系 王永安; 王国俊; 杨合俊 西安文理学院学报(自然科学版) 2008-01-15

195 基于L~*和Luk逻辑系统的反向三I算法的统一形式 胡明娣; 王国俊 计算机工程与应用 2008-03-11

196 二值命题逻辑中的三种Γ近似推理模式及其等价性 刘保翠; 王国俊 模糊系统与数学 2008-04-15

197 多值命题逻辑中逻辑理论的拓扑刻画 高菲菲; 王国俊 模糊系统与数学 2008-04-15

198 关于Boole语义的真度不变性定理 段景瑶; 王国俊 模糊系统与数学 2008-04-15

199 系统L~*中极大相容理论结构刻画的归纳证明 周红军; 王国俊 陕西师范大学学报(自然科学版) 2008-05-10

200 三值Lukasiewicz逻辑中命题的条件真度理论 郭秀敏; 高荣荣; 王国俊 黑龙江科技学院学报 2008-05-15

201 模糊推理三I约束算法的一般表示 刘华文; 王国俊 模糊系统与数学 2008-06-15

202 经典推理模式的随机化研究及其应用(Ⅱ) 惠小静; 王国俊 模糊系统与数学 2008-06-15

203 命题演算系统L~*中的Boole型理论 王茹; 王国俊 陕西师范大学学报(自然科学版) 2008-07-10

204 逻辑系统■中的真度、发散度与相容度的分布 于海; 詹婉荣; 王国俊 陕西师范大学学报(自然科学版) 2008-09-10

205 系统L~*中极大相容理论的结构刻画和紧致性定理 周红军; 王国俊 模糊系统与数学 2008-08-15

206 修正的Product逻辑系统中的广义矛盾式 李顺琴; 王国俊 模糊系统与数学 2008-08-15

207 概念格的粗糙性质研究(英文) 傅丽; 王国俊 计算机与数字工程 2008-10-20

资料更新中……

曾获陕西省科技进步一等奖一项、二等奖一项、三等一项，陕西省科技成果二等奖一项，国家教委优秀科技成果奖一项、优秀书籍奖一项，陕西省教育委员会科技进步一等奖两项，陕西省高等教育局科技成果一等奖三项，陕西省科学技术协会优秀论文一等奖、优秀科技工作者，西北大学刘亦珩数学奖励基金一等奖。

1、1988年被国家人事部评为国家级有突出贡献专家。

2、1983、1985年两次获得陕西师大教学质量优秀奖。

3、1985年被评为陕西省优秀教师、先进工作者。

4、1993年获曾宪梓教育基金会高等师范院校教师一等奖。

5、1990年被国家教委与国家科委评为全国高校优秀科技工作者。

6、2000年获美国“科学信息研究所”（ISI）颁发的“经典引文奖”（北京）。

7、2003年被教育部聘任为“教师教育专家委员会”委员。

资料更新中……