基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
以公式真度概念为基础,给出了二值命题逻辑系统中有限理论的α-结论的判定条件,讨论了在基本逻辑运算下理论的α-结论问题以及同一理论的结论的相似度.
推荐文章
二值命题逻辑理论的结论类型和分类
命题公式
主析取范式
真度
相似度
三值Luk命题逻辑系统中逻辑理论的拓扑刻画
真度
相似度
伪距离
逻辑度量空间
相容性
闭逻辑理论,闭集
(L)ukasiewicz命题逻辑系统中有限命题集的约简理论
(L)ukasiewicz命题逻辑
完备性定理
T约简
形式背景
二值命题逻辑F(Sn)在可证等价意义下的一般表示
二值命题逻辑
赋值
可证等价
一般表示
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 二值命题逻辑中有限理论的α-结论
来源期刊 山东农业大学学报(自然科学版) 学科 数学
关键词 有限理论 真度 有效度 α-结论
年,卷(期) 2008,(3) 所属期刊栏目
研究方向 页码范围 457-460
页数 4页 分类号 O141.3
字数 2790字 语种 中文
DOI 10.3969/j.issn.1000-2324.2008.03.028
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 王爱青 青岛理工大学理学院 15 32 3.0 4.0
2 WANG Ting-ming 青岛理工大学理学院 1 1 1.0 1.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (29)
共引文献  (226)
参考文献  (3)
节点文献
引证文献  (1)
同被引文献  (7)
二级引证文献  (0)
1964(1)
  • 参考文献(0)
  • 二级参考文献(1)
1969(1)
  • 参考文献(0)
  • 二级参考文献(1)
1971(1)
  • 参考文献(0)
  • 二级参考文献(1)
1987(1)
  • 参考文献(0)
  • 二级参考文献(1)
1990(1)
  • 参考文献(0)
  • 二级参考文献(1)
1991(2)
  • 参考文献(0)
  • 二级参考文献(2)
1994(2)
  • 参考文献(0)
  • 二级参考文献(2)
1995(1)
  • 参考文献(0)
  • 二级参考文献(1)
1997(1)
  • 参考文献(0)
  • 二级参考文献(1)
1998(2)
  • 参考文献(0)
  • 二级参考文献(2)
1999(2)
  • 参考文献(0)
  • 二级参考文献(2)
2000(2)
  • 参考文献(0)
  • 二级参考文献(2)
2001(5)
  • 参考文献(2)
  • 二级参考文献(3)
2003(3)
  • 参考文献(0)
  • 二级参考文献(3)
2005(5)
  • 参考文献(0)
  • 二级参考文献(5)
2006(2)
  • 参考文献(1)
  • 二级参考文献(1)
2008(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2016(1)
  • 引证文献(1)
  • 二级引证文献(0)
研究主题发展历程
节点文献
有限理论
真度
有效度
α-结论
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
山东农业大学学报(自然科学版)
双月刊
1000-2324
37-1132/S
大16开
山东泰安市岱宗大街61号农业大学学报编辑部
1955
chi
出版文献量(篇)
3505
总下载数(次)
10
总被引数(次)
29464
论文1v1指导