正则可离关系之最小覆盖成员的判定结果

计算机工程与应用 ›› 2007, Vol. 43 ›› Issue (5): 28-29.

正则可离关系之最小覆盖成员的判定结果

刘玉珍刘任任

湘潭大学信息工程学院湘潭大学信息工程学院计算机系

收稿日期:2006-06-07 修回日期:1900-01-01 出版日期:2007-02-11 发布日期:2007-02-11
通讯作者: 刘玉珍

Results on decision of the minimal covering members for regular separable relation

Liu Yuzhen

Received:2006-06-07 Revised:1900-01-01 Online:2007-02-11 Published:2007-02-11
Contact: Liu Yuzhen

摘要/Abstract

摘要： ：根据部分K值逻辑完备性理论，得到了当，时，若正则可离关系之关系图的基础图连通，则不是的最小覆盖成员的结论。

关键词: 多值逻辑, 完备性, Sheffer 函数, 极大封闭集(准完备集), 最小覆盖, 正则可离关系

Abstract: According to the completeness theory of partial K-valued logic, it is proved that if let the basic graph of the regular separable relation be connected under the condition of and .Then must not belong to the minimal covering of .
Key words: multiple-valued logic; completeness; Sheffer function; maximal closed sets (precomplete sets); minimal covering；regular separable relation

Key words: multiple-valued logic, completeness, Sheffer function, maximal closed sets (precomplete sets), minimal covering, regular separable relation

刘玉珍刘任任.

正则可离关系之最小覆盖成员的判定结果

[J]. 计算机工程与应用, 2007, 43(5): 28-29.

Liu Yuzhen. Results on decision of the minimal covering members for regular separable relation[J]. Computer Engineering and Applications, 2007, 43(5): 28-29.

[1]	张开碧，周震，韦鹏程，李莉. 外包数据库多关键词可验证密文搜索方案[J]. 计算机工程与应用, 2019, 55(17): 76-81.
[2]	贺朝阳，杜玉越，王路. 特殊循环结构的过程挖掘算法[J]. 计算机工程与应用, 2018, 54(22): 42-50.
[3]	李诗旸，王晓明. 可验证的多用户云加密关键字搜索方案[J]. 计算机工程与应用, 2016, 52(7): 132-138.
[4]	周建仁，吴洪博. MV代数的子代数及相关重言式之间的关系[J]. 计算机工程与应用, 2013, 49(9): 45-49.
[5]	彭立，杨恒伏. 描述逻辑SHIN的ABox一致性判定算法[J]. 计算机工程与应用, 2013, 49(20): 55-62.
[6]	龚志伟1，刘任任2. 部分四值逻辑中准完备集的最小覆盖[J]. 计算机工程与应用, 2012, 48(23): 52-57.
[7]	时慧娴¹，王国俊^1，2. 逻辑系统MTL_▽及其完备性[J]. 计算机工程与应用, 2011, 47(6): 30-33.
[8]	金辉霞1，何骞2. 部分四值逻辑中Sheffer函数的判定[J]. 计算机工程与应用, 2011, 47(29): 140-142.
[9]	李顺琴¹，王国俊². 系统H_α中的子代数的广义重言式理论[J]. 计算机工程与应用, 2010, 46(8): 37-39.
[10]	何骞，刘任任. 部分二值逻辑中Sheffer函数的构造与判定算法[J]. 计算机工程与应用, 2010, 46(5): 28-30.
[11]	张胜礼^1，2，潘正华². 中介命题逻辑一种新的无穷值语义模型及意义[J]. 计算机工程与应用, 2010, 46(31): 45-49.
[12]	李立峰,张建科,冯锋. £ukasiewicz命题逻辑系统中有限命题集的约简理论[J]. 计算机工程与应用, 2009, 45(7): 44-45.
[13]	郭景^1，2，廖士中¹. 有遮挡三维草图的标注完备集[J]. 计算机工程与应用, 2009, 45(21): 189-192.
[14]	何骞,刘任任. 部分三值逻辑中Sheffer函数的判定算法[J]. 计算机工程与应用, 2009, 45(19): 52-54.
[15]	李立峰. n值命题逻辑系统L_n^*中有限命题集的相容性与约简[J]. 计算机工程与应用, 2009, 45(13): 59-61.