位置：立项数据库 > 立项详情页
基于动态时序语义的逻辑推理及其量化模型
  • 项目名称：基于动态时序语义的逻辑推理及其量化模型
  • 项目类别：青年科学基金项目
  • 批准号：11501343
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：时慧娴
  • 依托单位：陕西师范大学
  • 批准年度：2015
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 3
  • 0
  • 0
  • 0
  • 0
期刊论文
基于双曲IFSP的概率测度和Dirac测度
FI代数中基于相对非的滤子
An Equivalent of Algebraic Ω-Categories
时慧娴的项目
线性时序关系下推理的概率计量化模型
期刊论文 9