位置：立项数据库 > 立项详情页
复杂推理的序、代数和逻辑方法及其计量化模型
  • 项目名称：复杂推理的序、代数和逻辑方法及其计量化模型
  • 项目类别：重点项目
  • 批准号：11531009
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：赵彬
  • 依托单位：陕西师范大学
  • 批准年度：2015
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 16
  • 0
  • 0
  • 0
  • 0
期刊论文
模态逻辑系统Ｓ４中的度量结构
FI代数中基于相对非的滤子
An Equivalent of Algebraic Ω-Categories
NBR0代数上的（十）运算和性质
弱MTL-代数上的几种演绎系统及其商代数
余Frame范畴中的等化子和余等化子结构
Quantale系统的嵌入
IMTL-代数的零化算子和?理想及其相互关系
Quantale代数核映射及其扩张
模糊S-偏序集的内射壳
Godel n 值命题逻辑系统的真度理论
纳米改性水性聚氨酯的制备与性能研究
纳米二氧化硅表面改性研究
复合钒钛酸干凝胶薄膜的制备及表征
复合钒钛酸干凝胶薄膜的湿敏特性研究
纳米改性水性聚氨酯的研究进展
赵彬的项目
Domain理论与计算机科学
Quantale相关结构的代数性质研究
期刊论文 104
第四届国际模糊逻辑与智能技术大会
Domain与Quantale理论的模糊化研究
期刊论文 87 会议论文 8
Quantale理论中若干问题的研究
期刊论文 78 会议论文 4 著作 1
全国模糊数学与系统年会
陕西师范大学2012国际计量逻辑与软计算会议