您的位置： 专家智库 > >

教育部规划基金项目(06JA724001)

作品数：2 被引量：5H指数：2
相关作者：冯棉更多>>
相关机构：华东师范大学更多>>
发文基金：国家社会科学基金教育部规划基金项目更多>>
相关领域：哲学宗教更多>>

文献类型

  • 2篇中文期刊文章

领域

  • 2篇哲学宗教

主题

  • 1篇动因
  • 1篇研究方法
  • 1篇语义
  • 1篇语义理论
  • 1篇蕴涵怪论
  • 1篇现代逻辑
  • 1篇相干逻辑
  • 1篇逻辑研究
  • 1篇发展动因
  • 1篇风景
  • 1篇风景线

机构

  • 2篇华东师范大学

作者

  • 2篇冯棉

传媒

  • 1篇哲学动态
  • 1篇华东师范大学...

年份

  • 1篇2008
  • 1篇2007
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
子结构逻辑的研究方法与应用前景被引量：2
2007年
冯棉
关键词：现代逻辑发展动因逻辑研究风景线
论相干逻辑的研究方法被引量：3
2008年
相干逻辑的形式系统组成一个逻辑家族,这些逻辑系统的共同点是:坚持演绎推理的相干性,拒斥"结论的推导未实际使用前提"的推理方式。相干系统的分类建构与可拆分,为相干推理和判定问题的深入研究提供了平台。相干逻辑采用多种技术手段,证明了"相干原理"等一系列元定理,用以揭示相干蕴涵的逻辑特性和排除形形色色的"蕴涵怪论"。相干语义理论内涵丰富,而直观的信息论解释,不仅细致地描述了三元关系语义的理论背景,也为相干逻辑在信息论和人工智能领域的应用展示了广阔的前景。
冯棉
关键词：相干逻辑研究方法蕴涵怪论语义理论
全选 清除 导出
共1页<1>
聚类工具0