您的位置： 专家智库 > >

胡祥梅

作品数：1 被引量：1H指数：1
供职机构：浙江师范大学附属义乌实验学校更多>>
发文基金：国家社会科学基金更多>>
相关领域：哲学宗教更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇哲学宗教

主题

  • 1篇公理
  • 1篇公理化
  • 1篇MODALI...
  • 1篇UNION
  • 1篇MODALI...
  • 1篇INTERS...
  • 1篇AXIOM

机构

  • 1篇北京师范大学
  • 1篇浙江师范大学

作者

  • 1篇琚凤魁
  • 1篇胡祥梅

传媒

  • 1篇逻辑学研究

年份

  • 1篇2015
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
布尔模态的公理化(英文)被引量：1
2015年
布尔模态(即模态生成算子补、交、并)涉及到了完全性问题。并模态是模态可定义的,但是补和交都不是。这意味着证明包含这三个模态的逻辑的完全性不是一件简单直接的事情。Gargov和Passy使用复制方法从整体上处理这三个模态,但是,这个方法不适用于强完全性,也不能单独处理这三个模态。本文改进了这个方法,使得改进后的方法更具一般性,并且没有这两个不足之处。
琚凤魁胡祥梅
关键词：公理化MODALITIESMODALITYINTERSECTIONUNIONAXIOM
全选 清除 导出
共1页<1>
聚类工具0