陕西师范大学数学与信息科学学院数学研究所 
研究主题：模糊推理 模糊逻辑 真度 代数 逻辑系统
研究学科：自动化类 哲学类
- 模糊推理的全蕴涵三I算法
- 1
- 《中国科学（E辑）》陕西师范大学数学研究所 王国俊 出版年：1999
- 关键词：模糊推理 CRI算法 三I算法 支持度 模糊控制
- 模糊命题演算的一种形式演绎系统 ( EI收录)
- 2
- 《科学通报》陕西师范大学数学研究所 王国俊 出版年：1997
- 关键词：模糊逻辑 形式演绎系统 商代数 模糊命题演算
- 计量逻辑学(Ⅰ)
- 3
- 《工程数学学报》陕西师范大学数学研究所;西安交通大学基础科学研究中心 王国俊 出版年：2006
- 关键词：真度 相似度 伪度量 发散度 相容度 计量逻辑
- MV-代数、BL-代数、R_0-代数与多值逻辑
- 4
- 《模糊系统与数学》陕西师范大学数学研究所 王国俊 出版年：2002
- 关键词：MV-代数 剩余格 BL-代数 R0-代数 FI-代数 格蕴涵代数 BCK-代数
- 逻辑度量空间
- 5
- 《数学学报（中文版）》陕西师范大学数学研究所;陕西经贸学院计算机中心 王国俊 王伟 出版年：2001
- 关键词：真度 a-重言式 相似度 逻辑度量空间 准近似推理
- Lukasiweicz n值命题逻辑中公式的真度理论和极限定理
- 6
- 《中国科学（E辑）》陕西师范大学数学研究所 王国俊 李璧镜 出版年：2005
- 关键词：命题逻辑 极限定理 公式 n值 度理论 真度 离散值 函数 积分 收敛 无穷 中相
- 修正的Kleene系统中的Σ-(α-重言式)理论
- 7
- 《中国科学（E辑）》陕西师范大学数学研究所 王国俊 出版年：1998
- 关键词：Kleene系统 模型推理 类类互异定理 重言式
- 经典推理模式的随机化研究及其应用
- 8
- 《中国科学（E辑）》陕西师范大学数学研究所 惠小静 王国俊 出版年：2007
- 关键词：D-随机化映射 D-随机真度 D-相似度 D-逻辑度量空间 近似推理
- 形式系统~*的完备性及其应用
- 9
- 《中国科学（E辑）》四川大学数学学院;陕西师范大学数学研究所 裴道武 王国俊 出版年：2002
- 关键词：模糊逻辑 形式系统T^＊ R0代数 完备性 模糊推理 三Ⅰ算法 模糊集 数理逻辑
- Fuzzy蕴涵代数与MV代数
- 10
- 《模糊系统与数学》陕西师范大学数学研究所 刘练珍 王国俊 出版年：1998
- 关键词：模糊蕴函代数 MV代数 剩余格 格蕴涵代数
