基本情况
2013年7月毕业于陕西师范大学,获博士学位,主要从事计量逻辑与不确定性推理研究。
代表性学术论文
1. Shi Hui-Xian, Wang Guo-Jun. Lattice-valued modal propositional logic and its completeness. SCIENCE CHINA Information Sciences, 53(11), 2230-2239, 2010.
2. Shi Hui-Xian, Wang Guo-Jun. Maximal contractions in Boolean algebras. SCIENCE CHINA Information Sciences, 55(9), 2044-2055, 2012.
3. 时慧娴, 王国俊. 多值模态逻辑的计量化方法. 软件学报, 23(12), 3074-3087, 2012.
教育科研项目