您的位置： 专家智库 > >

西安市科技计划项目(CXY1134WL10)

作品数：2 被引量：7H指数：2
相关作者：马巧云吴洪博更多>>
相关机构：西安文理学院陕西师范大学更多>>
发文基金：西安市科技计划项目国家自然科学基金更多>>
相关领域：理学更多>>

文献类型

  • 2篇中文期刊文章

领域

  • 2篇理学

主题

  • 1篇等价
  • 1篇等价定义
  • 1篇真度
  • 1篇平移
  • 1篇平移变换
  • 1篇伪距离
  • 1篇向量
  • 1篇向量表示
  • 1篇逻辑系统
  • 1篇次范整线性空...
  • 1篇N

机构

  • 2篇西安文理学院
  • 1篇陕西师范大学

作者

  • 2篇马巧云
  • 1篇吴洪博

传媒

  • 1篇模糊系统与数...
  • 1篇计算机工程与...

年份

  • 2篇2013
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
经典逻辑系统中公式的真度及公式间伪距离的一种等价定义被引量：7
2013年
给出了经典命题逻辑中公式的向量表示形式,利用向量表示形式给出公式的真度和公式间伪距离的定义,说明了这种定义与原有的概率形式的定义等价,得到了公式间的伪距离的一些简单性质以及在伪距离空间(F(s),ρ)中,逻辑连接词都是连续的。
马巧云吴洪博
关键词：真度伪距离
n元经典逻辑度量空间中的平移变换被引量：2
2013年
利用模2的加法运算和逻辑公式的向量表示构造了n元经典逻辑度量空间中的平移变换。得到了平移变换的一些简单性质,证明了平移变换保持非运算,但不保持交、并、蕴涵运算;得到了逻辑理论的发散度、有限理论的相容度在平移变换之下不变的结论。证明了平移变换之集构成一个群;在经典逻辑度量空间中以公式类中公式的真度为范数,进一步证明了(Fn(S)ρ)关于该范数可以构成次范整线性空间。
马巧云
关键词：平移变换次范整线性空间
全选 清除 导出
共1页<1>
聚类工具0