基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
在二值命题逻辑、各类n值命题逻辑和各类模糊命题逻辑中引入了命题的诱导函数的概念,在此基础上分别就离散和连续情形利用均匀概率空间的无穷乘积和积分语义学方法引入了命题的真度概念.其次,基于演绎定理建立了程度化的近似推理理论.最后,提出了有限逻辑理论的相容度理论.
推荐文章
命题逻辑中代数学的影子
命题逻辑
代数学
数理逻辑
二义性
三值Luk命题逻辑系统中逻辑理论的拓扑刻画
真度
相似度
伪距离
逻辑度量空间
相容性
闭逻辑理论,闭集
启发式方法生成命题逻辑可读证明
命题逻辑
启发式方法
试探法
自然推理法
可读证明
基于命题逻辑的组件约束检测
组件约束
命题逻辑
真值表
检测算法
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 命题逻辑中的程度化方法
来源期刊 电子学报 学科 数学
关键词 命题逻辑 诱导函数 真度 近似推理 相容度
年,卷(期) 2006,(2) 所属期刊栏目 学术论文
研究方向 页码范围 252-257
页数 6页 分类号 O142
字数 6717字 语种 中文
DOI 10.3321/j.issn:0372-2112.2006.02.013
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 王国俊 陕西师范大学数学研究所 46 1247 16.0 34.0
5 宋建社 39 860 14.0 29.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (30)
共引文献  (104)
参考文献  (9)
节点文献
引证文献  (73)
同被引文献  (143)
二级引证文献  (517)
1971(1)
  • 参考文献(0)
  • 二级参考文献(1)
1994(3)
  • 参考文献(0)
  • 二级参考文献(3)
1995(2)
  • 参考文献(0)
  • 二级参考文献(2)
1997(1)
  • 参考文献(1)
  • 二级参考文献(0)
1998(6)
  • 参考文献(1)
  • 二级参考文献(5)
1999(1)
  • 参考文献(0)
  • 二级参考文献(1)
2000(4)
  • 参考文献(0)
  • 二级参考文献(4)
2001(6)
  • 参考文献(0)
  • 二级参考文献(6)
2002(8)
  • 参考文献(1)
  • 二级参考文献(7)
2003(5)
  • 参考文献(4)
  • 二级参考文献(1)
2005(2)
  • 参考文献(2)
  • 二级参考文献(0)
2006(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2007(8)
  • 引证文献(8)
  • 二级引证文献(0)
2008(28)
  • 引证文献(8)
  • 二级引证文献(20)
2009(58)
  • 引证文献(11)
  • 二级引证文献(47)
2010(37)
  • 引证文献(5)
  • 二级引证文献(32)
2011(47)
  • 引证文献(6)
  • 二级引证文献(41)
2012(83)
  • 引证文献(12)
  • 二级引证文献(71)
2013(65)
  • 引证文献(10)
  • 二级引证文献(55)
2014(45)
  • 引证文献(4)
  • 二级引证文献(41)
2015(77)
  • 引证文献(4)
  • 二级引证文献(73)
2016(68)
  • 引证文献(3)
  • 二级引证文献(65)
2017(42)
  • 引证文献(1)
  • 二级引证文献(41)
2018(22)
  • 引证文献(1)
  • 二级引证文献(21)
2019(10)
  • 引证文献(0)
  • 二级引证文献(10)
研究主题发展历程
节点文献
命题逻辑
诱导函数
真度
近似推理
相容度
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
电子学报
月刊
0372-2112
11-2087/TN
大16开
北京165信箱
2-891
1962
chi
出版文献量(篇)
11181
总下载数(次)
11
论文1v1指导