题名 P^＊4中保四元正则可离关系非最小覆盖的剔除
被引量：1
1
作者
周小强 刘任任
机构
湖南理工学院数学系 湘潭大学信息工程学院
出处
《计算机应用研究》
CSCD
北大核心
2009年第6期2090-2091,2094,共3页
基金
国家自然科学基金资助项目(606731931) 湖南省教育厅资助项目(07A067 08C390)
文摘
为确定部分四值逻辑的最小覆盖,根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论,对部分四值逻辑的最小覆盖进行分析,证明了109个保四元正则可离关系函数集中的67个函数集必不属于部分四值逻辑中最小覆盖的成员。
关键词
多值逻辑 完备性 正则可离关系 最小覆盖
Keywords
multi-valued logic completeness regularly separable relations minimal covering
分类号
TP301
[自动化与计算机技术—计算机系统结构]
题名 P4^＊中保四元正则可离关系最小覆盖之确定
被引量：1
2
作者
周小强 刘任任
机构
湖南理工学院数学系 湘潭大学信息工程学院
出处
《计算机科学》
CSCD
北大核心
2009年第9期176-177,192,共3页
基金
国家自然科学基金(606731931) 湖南省教育厅重点项目(07A067) 湖南省教育厅项目(08C390)资助
文摘
根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论,对部分四值逻辑中最小覆盖的确定进行分析,定出了部分四值逻辑中保四元正则可离关系函数集之最小覆盖成员。
关键词
多值逻辑 正则可离关系 SHEFFER函数 最小覆盖
Keywords
Multi-valued logic, Regularly separable relation, Sheffer function, Minimal covering
分类号
TP301
[自动化与计算机技术—计算机系统结构]
题名 正则可离关系之最小覆盖成员的判定结果
3
作者
刘玉珍 刘任任
机构
湘潭大学信息工程学院
出处
《计算机工程与应用》
CSCD
北大核心
2007年第5期28-29,44,共3页
基金
国家自然科学基金(the National Natural Science Foundation of China under Grant No.60083001) 湖南省自然科学基金(the Natural Science Foundation of Hunan Province of China under Grant No.03JJY3099) 湘潭大学(04XZX02)
文摘
根据部分K值逻辑完备性理论,得到了当m=2,σ=e,时,若正则可离关系G2=G2(｛1,2｝)∪■2之关系图的基础图连通,则T(G2)不是P*K的最小覆盖成员的结论。
关键词
多值逻辑 完备性 SHEFFER函数 极大封闭集(准完备集) 最小覆盖 正则可离关系
Keywords
multiple-valued logic completeness Sheffer function maximal closed sets （precomplete sets ） minimal covering regular separable relation
分类号
O141
[理学—基础数学]
