原文服务方: 纺织高校基础科学学报       
摘要:
将Lukasiewiczn值逻辑系统Ln中的矛盾式概念程度化,引入了矛盾度的概念,并且讨论了公式的矛盾度的若干重要性质,进而用矛盾度定义了公式之间的差异度函数ρ',证明了ρ'是一个伪度量,从而在F(S)上建立了逻辑度量空间(F(S),ρ').
推荐文章
基于命题演算的高级控制结构恢复
软件逆向分析
命题逻辑
控制结构恢复
控制依赖
Cm命题演算的定理机器证明系统
Cm系统
制约逻辑
可计算性
定理机器证明
命题演算两个推理系统的等价性
符号逻辑
命题演算
推理系统
命题演算系统(ζ)*中的Boole型理论
Boole型理论
R0代数
Boole代数
(ζ)*系统
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 Ln命题演算中的一种新程度化方法
来源期刊 纺织高校基础科学学报 学科
关键词 矛盾度 差异度 伪度量 逻辑度量空间
年,卷(期) 2007,(3) 所属期刊栏目 数学
研究方向 页码范围 217-222
页数 6页 分类号 O141
字数 语种 中文
DOI 10.3969/j.issn.1006-8341.2007.03.001
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 吴洪博 陕西师范大学数学与信息科学学院 194 656 12.0 16.0
2 张红杰 陕西师范大学数学与信息科学学院 4 8 2.0 2.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (48)
共引文献  (181)
参考文献  (6)
节点文献
引证文献  (4)
同被引文献  (16)
二级引证文献  (3)
1964(1)
  • 参考文献(0)
  • 二级参考文献(1)
1990(1)
  • 参考文献(0)
  • 二级参考文献(1)
1991(1)
  • 参考文献(0)
  • 二级参考文献(1)
1992(1)
  • 参考文献(0)
  • 二级参考文献(1)
1993(1)
  • 参考文献(0)
  • 二级参考文献(1)
1994(1)
  • 参考文献(0)
  • 二级参考文献(1)
1997(3)
  • 参考文献(0)
  • 二级参考文献(3)
1998(5)
  • 参考文献(0)
  • 二级参考文献(5)
1999(2)
  • 参考文献(0)
  • 二级参考文献(2)
2000(6)
  • 参考文献(0)
  • 二级参考文献(6)
2001(6)
  • 参考文献(1)
  • 二级参考文献(5)
2002(4)
  • 参考文献(0)
  • 二级参考文献(4)
2003(10)
  • 参考文献(2)
  • 二级参考文献(8)
2004(1)
  • 参考文献(0)
  • 二级参考文献(1)
2005(8)
  • 参考文献(1)
  • 二级参考文献(7)
2006(3)
  • 参考文献(2)
  • 二级参考文献(1)
2007(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2008(2)
  • 引证文献(2)
  • 二级引证文献(0)
2009(1)
  • 引证文献(0)
  • 二级引证文献(1)
2014(1)
  • 引证文献(1)
  • 二级引证文献(0)
2015(1)
  • 引证文献(1)
  • 二级引证文献(0)
2016(1)
  • 引证文献(0)
  • 二级引证文献(1)
2017(1)
  • 引证文献(0)
  • 二级引证文献(1)
研究主题发展历程
节点文献
矛盾度
差异度
伪度量
逻辑度量空间
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
纺织高校基础科学学报
季刊
1006-8341
61-1296/TS
大16开
1987-01-01
chi
出版文献量(篇)
2271
总下载数(次)
0
总被引数(次)
5439
相关基金
国家自然科学基金
英文译名:the National Natural Science Foundation of China
官方网址:http://www.nsfc.gov.cn/
项目类型:青年科学基金项目(面上项目)
学科类型:数理科学
论文1v1指导