联结词的可表性与完全集Ⅱ

On the Communication and the Adequate Set of the Connectives Ⅱ

下载PDF

导出

摘要通过分析和讨论20个一元和二元联结词的各种组合,得出46个联结词的极小完全集. By analyzing and discussing all combinations of twenty one - variable and two - variable connectives, we arrived at forty six minimum adequate sets of connectives.

作者王建

机构地区衢州学院教育系

出处《绍兴文理学院学报》 2007年第9期15-19,共5页 Journal of Shaoxing University

基金浙江省教育厅科研项目(20061239)

关键词真值函数联结词完全集(功能完备集) 极小完全集 truth function connectives adequate set minimum adequate set

分类号 O141.1 [理学—基础数学]

引文网络
相关文献

参考文献3

1[2]Hamilton A G.Mathematical Logic[M].London:Cambridge University,1978.
2[4]马振华.数理逻辑导引[M].北京:清华大学出版社,1981.
3邓燕.对数理逻辑中最小联结词组的扩展讨论[J].嘉兴高等专科学校学报,1999,12(4):47-51. 被引量：5

二级参考文献4

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

共引文献4

1黄喻,邹辉.全功能联结词集合的一个注记[J].西南民族大学学报（自然科学版）,2006,32(4):654-658. 被引量：1
2王建.联结词的可表性与完全集[J].绍兴文理学院学报（自然科学版）,2006,26(1):21-24.
3魏贵民,邹辉.全功能联结词集合的计算机实现[J].成都理工大学学报（自然科学版）,2007,34(3):359-363. 被引量：1
4李艳华,张晓梅,李战国.极小完备集的证明方法[J].高等函授学报（自然科学版）,2011,24(1):36-37.

1王建.联结词的可表性与完全集[J].绍兴文理学院学报（自然科学版）,2006,26(1):21-24.
2苏岐芳,苏雅春.命题逻辑中的可表性[J].松辽学刊（自然科学版）,1997(4):89-92. 被引量：1
3杨洁.Gdel逻辑系统中模糊逻辑方程τ(X→p)=α的解的性质[J].模糊系统与数学,2012,26(4):25-30.
4张凤姣,张兴芳.Gdel逻辑系统中公式真度判断方法[J].聊城大学学报（自然科学版）,2011,24(1):39-42.
5陈宗升,于西昌,李成允.逻辑系统Gdel,Luk,L*中命题真度值的分布[J].计算机工程与应用,2009,45(13):42-44.
6李葆文.思维网探索[J].模糊系统与数学,1995,9(3):10-19. 被引量：1
7李成允,张兴芳.L＊逻辑系统中的函数决定公式问题[J].山东大学学报（理学版）,2009,44(12):91-96. 被引量：3
8任芳,王国俊.命题逻辑系统L~*的有效集[J].模糊系统与数学,2006,20(2):13-17. 被引量：2
9张安英,张兴芳,高芹.Gdel系统中由一个或两个原子生成的公式的真值函数的特征[J].模糊系统与数学,2007,21(3):54-59. 被引量：5
10吕建平,赵树芗.一种非真值函数性模糊逻辑[J].微电子学与计算机,2004,21(10):90-92. 被引量：2

绍兴文理学院学报

2007年第9期

浏览历史

内容加载中请稍等...

联结词的可表性与完全集Ⅱ

参考文献3

二级参考文献4

共引文献4

相关作者

相关机构

相关主题

浏览历史