作者:
原文服务方: 纺织高校基础科学学报       
摘要:
基于三值Lukasiewicz命题逻辑系统Luk3中的计量逻辑学理论,研究了逻辑理论在逻辑意义下的性质与其在拓扑意义下的性质之间的联系,并给出了闭逻辑理论的拓扑性质描述及多值命题逻辑中逻辑理论的发散性的拓扑刻画.
推荐文章
四值非链格值命题逻辑系统L4P(X)的语义归结方法
格蕴涵代数
自动推理:语义归结方法
四值命题逻辑系统
命题逻辑中代数学的影子
命题逻辑
代数学
数理逻辑
二义性
三值命题逻辑系统中理论的随机发散度的分布
随机真度
随机逻辑度量空间
随机发散度
自然逻辑与不自然逻辑刍议--以命题逻辑为例
自然逻辑
不自然逻辑
公理方法
自然演绎方法
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 三值Luk命题逻辑系统中逻辑理论的拓扑刻画
来源期刊 纺织高校基础科学学报 学科
关键词 真度 相似度 伪距离 逻辑度量空间 相容性 闭逻辑理论,闭集
年,卷(期) 2008,(1) 所属期刊栏目 数学
研究方向 页码范围 25-28
页数 4页 分类号 O159
字数 语种 中文
DOI 10.3969/j.issn.1006-8341.2008.01.007
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 高菲菲 陕西师范大学数学与信息科学学院 5 2 1.0 1.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (15)
共引文献  (11)
参考文献  (4)
节点文献
引证文献  (1)
同被引文献  (0)
二级引证文献  (0)
1969(1)
  • 参考文献(1)
  • 二级参考文献(0)
1999(2)
  • 参考文献(0)
  • 二级参考文献(2)
2000(2)
  • 参考文献(0)
  • 二级参考文献(2)
2001(3)
  • 参考文献(0)
  • 二级参考文献(3)
2002(1)
  • 参考文献(0)
  • 二级参考文献(1)
2003(3)
  • 参考文献(0)
  • 二级参考文献(3)
2005(2)
  • 参考文献(0)
  • 二级参考文献(2)
2006(4)
  • 参考文献(2)
  • 二级参考文献(2)
2007(1)
  • 参考文献(1)
  • 二级参考文献(0)
2008(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2009(1)
  • 引证文献(1)
  • 二级引证文献(0)
研究主题发展历程
节点文献
真度
相似度
伪距离
逻辑度量空间
相容性
闭逻辑理论,闭集
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
纺织高校基础科学学报
季刊
1006-8341
61-1296/TS
大16开
1987-01-01
chi
出版文献量(篇)
2271
总下载数(次)
0
总被引数(次)
5439
论文1v1指导