期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

对数理逻辑中最小联结词组的扩展讨论 被引量：5

下载PDF
导出
摘要 在数理逻辑中，对最小联结词组的研究，目前多限于讨论常见的五、六个词组。本文对一个二元联结词和两个二元联结词构成的联结词组进行了系统的分析论证，从中找全了九个最小联结词组。
作者 邓燕
出处 《嘉兴高等专科学校学报》 1999年第4期47-51,共5页
关键词 联结词 最小联结词组 真值函数 数理逻辑
分类号 O141 [理学—基础数学]
  • 相关文献

参考文献4

  • 1左孝凌 李为鉴 等.离散数学[M].上海:上海科技文献出版社,1981..
  • 2马振华.数理逻辑导论[M].北京:清华大学出版社,1981..
  • 3李为鎏.离散数学－－方法导引[M].上海:复旦大学出版社,1991..
  • 4张一立 唐常杰 等.离散数学教程[M].四川:四川大学出版社,1990..

共引文献10

同被引文献13

  • 1黄喻,邹辉.全功能联结词集合的一个注记[J].西南民族大学学报（自然科学版）,2006,32(4):654-658. 被引量：1
  • 2[2]Hamilton A G.Mathematical Logic[M].London:Cambridge University,1978.
  • 3[4]马振华.数理逻辑导引[M].北京:清华大学出版社,1981.
  • 4[3]魏贵民,胡灿,王玉兰,等.离散数学[M].北京:高等教育出版社,2005.
  • 5[1]MARTIN,ALAN.Adeauate Sets of Temporal Connectives in CTL.Electronic Notes in Theoretical Computer Science.2002,52:21-31.
  • 6尹宝林等.离散数学[M].北京:高等教育出版社,2001.
  • 7MARTIN A.Adeauate sets of temporal connectives in CTL[J].Electronic Notes in Theoretical Computer Science,2002,52:21-31.
  • 8陆钟万著.面向计算机科学的数理逻辑[M]. 科学出版社, 2002
  • 9汪芳庭编著.数理逻辑[M]. 中国科学技术大学出版社, 1990
  • 10A.G.Hamilton.MathematicalLogic〔M〕[]..1978

引证文献5

二级引证文献2

嘉兴高等专科学校学报
1999年 第4期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部