国家自然科学基金(606731931)
- 作品数：5 被引量：4H指数：2
- 相关作者：刘任任周小强龚志伟更多>>
- 相关机构：湘潭大学湖南理工学院中南林业科技大学更多>>
- 发文基金：国家自然科学基金湖南省教育厅重点项目湖南省教育厅科研基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 部分四值逻辑中保二元正则可离关系非最小覆盖的剔除
- 2011年
- 为确定部分四值逻辑的最小覆盖,根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论,对部分四值逻辑的最小覆盖进行分析,证明了270个保二元正则可离关系函数集中的222个函数集必不属于部分四值逻辑中最小覆盖的成员。
- 龚志伟刘任任
- 关键词：多值逻辑正则可离关系
- P^＊4中保四元正则可离关系非最小覆盖的剔除被引量：1
- 2009年
- 为确定部分四值逻辑的最小覆盖,根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论,对部分四值逻辑的最小覆盖进行分析,证明了109个保四元正则可离关系函数集中的67个函数集必不属于部分四值逻辑中最小覆盖的成员。
- 周小强刘任任
- 关键词：多值逻辑正则可离关系
- 部分四值逻辑中保三元正则可离关系函数集最小覆盖的确定被引量：2
- 2007年
- Sheffer函数的判定与构造是多值逻辑函数结构理论中的重要问题之一,此问题可归结为定出多值逻辑函数集之准完备集的最小覆盖。本文根据部分K值逻辑的完备性理论以及准完备集之间的相似关系理论,定出部分四值逻辑中保三元正则可离关系的准完备集之最小覆盖的成员。
- 周小强刘任任
- 关键词：多值逻辑SHEFFER函数
- P4^＊中保二元正则可离关系非最小覆盖的剔除
- 2008年
- 为确定部分四值逻辑的最小覆盖,根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论,对部分四值逻辑的最小覆盖进行分析,证明了270个保二元正则可离关系函数集中的222个函数集必不属于部分四值逻辑中最小覆盖的成员。
- 周小强刘任任
- 关键词：多值逻辑SHEFFER函数正则可离关系
- P4^＊中保四元正则可离关系最小覆盖之确定被引量：3
- 2009年
- 根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论,对部分四值逻辑中最小覆盖的确定进行分析,定出了部分四值逻辑中保四元正则可离关系函数集之最小覆盖成员。
- 周小强刘任任
- 关键词：多值逻辑正则可离关系SHEFFER函数
