您的位置： 专家智库 > >

博士研究生创新基金(2008CXB017)

作品数：1 被引量：9H指数：1
相关作者：折延宏王国俊更多>>
相关机构：陕西师范大学西安交通大学更多>>
发文基金：博士研究生创新基金国家自然科学基金更多>>
相关领域：理学更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇理学

主题

  • 1篇拓扑
  • 1篇相容性
  • 1篇逻辑理论
  • 1篇逻辑系统
  • 1篇命题逻辑
  • 1篇命题逻辑系统
  • 1篇刻画
  • 1篇L3

机构

  • 1篇西安交通大学
  • 1篇陕西师范大学

作者

  • 1篇王国俊
  • 1篇折延宏

传媒

  • 1篇数学学报（中...

年份

  • 1篇2009
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
三值命题逻辑系统L3^＊中逻辑理论性态的拓扑刻画被引量：9
2009年
对三值命题逻辑系统L3^＊中逻辑理论的相容性、全发散性以及逻辑闭性给出了它们在三值逻辑度量空间（F（S）,ρ3）中的拓扑刻画.证明了闭理论Γ相容当且仅当Γ不含内点,当且仅当Γ具有真度遗漏性质,当且仅当Γ不含非空正则球面;证明了理论Γ全发散当且仅当其逻辑闭包在（F（S）,ρ3）中稠密.还证明了有限理论Γ的逻辑闭包是（F（S）,ρ3）中的拓扑闭集.
折延宏王国俊
关键词：相容性
全选 清除 导出
共1页<1>
聚类工具0