欢迎光临陕西师范大学数学与统计学院!   

副教授
当前位置: 首页 > 师资队伍 > 副教授 > 正文
  • 姓名:时慧娴
  • 性别:女
  • 职称:副教授
  • 职务:
  • E-mail:rubyshi@163.com
  • 工作室:
性别 职称 副教授
职务 邮箱 rubyshi@163.com
工作室

基本情况

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.

教育科研项目

  • 2016.1-2018.12  基于动态时序语义的逻辑推理及其量化模型  国家自然科学基金青年项目

  • 2015.1-2015.12  线性时序关系下推理的概率计量化模型  国家自然科学基金天元项目







上一条:任芳国 下一条:宋军锋

关闭