基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
将2-值命题逻辑的语义理论推广到了有限布尔代数,得到了2n-布尔值命题逻辑.同时本文给出了2n-布尔值命题逻辑应用的一些例子.
推荐文章
三值Luk命题逻辑系统中逻辑理论的拓扑刻画
真度
相似度
伪距离
逻辑度量空间
相容性
闭逻辑理论,闭集
自然逻辑与不自然逻辑刍议--以命题逻辑为例
自然逻辑
不自然逻辑
公理方法
自然演绎方法
二值命题逻辑F(Sn)在可证等价意义下的一般表示
二值命题逻辑
赋值
可证等价
一般表示
命题逻辑中代数学的影子
命题逻辑
代数学
数理逻辑
二义性
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 2n-布尔值逻辑:2-值命题逻辑的自然推广
来源期刊 模糊系统与数学 学科 数学
关键词 命题逻辑 布尔代数 2n-布尔值逻辑 应用
年,卷(期) 2013,(2) 所属期刊栏目 模糊集理论
研究方向 页码范围 8-14
页数 7页 分类号 O141
字数 4623字 语种 中文
DOI
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 吴洪博 陕西师范大学数学与信息科学学院 194 656 12.0 16.0
2 周建仁 陕西师范大学数学与信息科学学院 13 83 6.0 9.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (28)
共引文献  (110)
参考文献  (3)
节点文献
引证文献  (1)
同被引文献  (9)
二级引证文献  (0)
1988(1)
  • 参考文献(0)
  • 二级参考文献(1)
1991(1)
  • 参考文献(0)
  • 二级参考文献(1)
1995(1)
  • 参考文献(0)
  • 二级参考文献(1)
1997(2)
  • 参考文献(0)
  • 二级参考文献(2)
1998(2)
  • 参考文献(0)
  • 二级参考文献(2)
1999(3)
  • 参考文献(0)
  • 二级参考文献(3)
2000(2)
  • 参考文献(0)
  • 二级参考文献(2)
2001(3)
  • 参考文献(1)
  • 二级参考文献(2)
2002(1)
  • 参考文献(0)
  • 二级参考文献(1)
2003(1)
  • 参考文献(1)
  • 二级参考文献(0)
2004(1)
  • 参考文献(0)
  • 二级参考文献(1)
2005(1)
  • 参考文献(0)
  • 二级参考文献(1)
2006(1)
  • 参考文献(0)
  • 二级参考文献(1)
2007(1)
  • 参考文献(0)
  • 二级参考文献(1)
2009(3)
  • 参考文献(0)
  • 二级参考文献(3)
2010(1)
  • 参考文献(0)
  • 二级参考文献(1)
2011(1)
  • 参考文献(1)
  • 二级参考文献(0)
2012(3)
  • 参考文献(0)
  • 二级参考文献(3)
2013(1)
  • 参考文献(0)
  • 二级参考文献(1)
2019(1)
  • 参考文献(0)
  • 二级参考文献(1)
2013(1)
  • 参考文献(0)
  • 二级参考文献(1)
  • 引证文献(0)
  • 二级引证文献(0)
2015(1)
  • 引证文献(1)
  • 二级引证文献(0)
研究主题发展历程
节点文献
命题逻辑
布尔代数
2n-布尔值逻辑
应用
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
模糊系统与数学
双月刊
1001-7402
43-1179/O1
大16开
湖南长沙国防科技大学理学院
42-180
1987
chi
出版文献量(篇)
2985
总下载数(次)
4
论文1v1指导