部分三值逻辑中准完备集的最小复盖 被引量：34

1

作者 刘任任 《湘潭大学自然科学学报》 CAS CSCD 1991年第2期158-165,共8页

根据部分K值逻辑的完备性理论,定出了P_3~*中所有准完备集的最小复盖,并依此构造出大量的部分三值Sheffer函数。

关键词 多值逻辑 准备完集 sheffer函数

下载PDF 职称材料

部分K值逻辑中准完备集之最小复盖的一些结果(Ⅰ) 被引量：20

2

作者 刘任任 《湘潭大学自然科学学报》 CAS CSCD 1992年第1期123-129,共7页

根据部分K值逻译的完备性理论,证明了保E函数集T_E是P_K~*中准完备集之最小复盖的必需组成部分,它们的并集复盖了大量的准完备集。

关键词 多值逻辑 准完备集 最小复盖

下载PDF 职称材料

关于部分K值逻辑中准完备集之最小复盖的一些结果(Ⅱ) 被引量：17

3

作者 刘任任 《湘潭大学自然科学学报》 CAS CSCD 1993年第2期141-148,共8页

根据部分K值逻辑的完备性理论,证明了L型函数集L_(G4,2)是P_K~*中准完备集之最小复盖的必要组成部分。

关键词 K值逻辑 准完备集 最小复盖

下载PDF 职称材料

关于部分K值逻辑中Sheffer函数判定的一些结果(Ⅰ) 被引量：9

4

作者 肖凡 刘任任 《湘潭大学自然科学学报》 CAS CSCD 2001年第3期15-19,共5页

根据部分多值逻辑的完备性理论，证明了ｍ＝２时的一类完满对称函数集在Ｐ*Ｋ中极大封闭集之最小覆盖中必需出现．

关键词 多值逻辑 完备性 sheffer函数 极大封闭集

下载PDF 职称材料

关于部分K值逻辑Sheffer函数(III) 被引量：6

5

作者 李舒 刘任任 《湘潭大学自然科学学报》 CAS CSCD 2002年第3期44-48,共5页

根据部分多值逻辑的完备性理论 ,证明了m =2时的一类单纯可离函数集在P k 的极大封闭集之最小覆盖中必须出现 .

关键词 部分K值逻辑 部分多值逻辑 完备性 sheffer函数 极大封闭集 单纯可离函数集 最小覆盖

下载PDF 职称材料

关于部分K值逻辑Sheffer函数判定的一些结果(II) 被引量：6

6

作者 肖凡 刘任任 《湘潭大学自然科学学报》 CAS CSCD 2002年第2期36-38,共3页

根据部分多值逻辑的完备性理论 ,证明了m =2时的两类正则可离函数集必然不包含在P

关键词 K值逻辑 sheffer函数 多值逻辑 完备性

下载PDF 职称材料

关于部分K值逻辑中正则可离函数集的极大封闭集之最小覆盖判定的一些结果 被引量：4

7

作者 刘玉珍 刘任任 《海军工程大学学报》 CAS 2004年第5期17-20,共4页

根据部分多值逻辑完备性理论,证明了当m=2时,若正则可离关系G2=G2({1,2})∪G2之关系图仅是一个回路,则T(G2)不是P k的最小覆盖成员.

关键词 多值逻辑 完备性 sheffer函数 极大封闭集(准完备集) 最小覆盖

下载PDF 职称材料

部分二值逻辑中Sheffer函数的构造与判定算法 被引量：4

8

作者 何骞 刘任任 《计算机工程与应用》 CSCD 北大核心 2010年第5期28-30,共3页

在深入研究部分二值逻辑中Sheffer函数的基础上,根据部分二值逻辑中准完备集的最小覆盖,提出了一种高效地构造部分二值逻辑中Sheffer函数的算法,此算法能够构造出部分二值逻辑中的全部Sheffer函数,在构造算法的基础上,进一步提出了一种... 在深入研究部分二值逻辑中Sheffer函数的基础上,根据部分二值逻辑中准完备集的最小覆盖,提出了一种高效地构造部分二值逻辑中Sheffer函数的算法,此算法能够构造出部分二值逻辑中的全部Sheffer函数,在构造算法的基础上,进一步提出了一种部分二值逻辑中Sheffer函数的判定算法,此算法和传统判定算法相比,避免了繁琐的计算,可以说是一种较简单的判定算法。 展开更多

关键词 sheffer函数 准完备集 最小覆盖

下载PDF 职称材料

一类3值逻辑2元Sheffer函数 被引量：1

9

作者 杜国平 《华南师范大学学报（社会科学版）》 CSSCI 北大核心 2016年第1期169-175,192,共7页

3值逻辑Sheffer函数研究是多值逻辑重要的基础理论之一。通过给出严格的相互可定义性,54个3值2元S型函数可分为相互定义的10个组,并且可分为3种类型:117型、135型和333型。其中,117型6个,135型36个,333型12个。通过严格的定义可以证明:... 3值逻辑Sheffer函数研究是多值逻辑重要的基础理论之一。通过给出严格的相互可定义性,54个3值2元S型函数可分为相互定义的10个组,并且可分为3种类型:117型、135型和333型。其中,117型6个,135型36个,333型12个。通过严格的定义可以证明:只有333型中的6个不是Sheffer函数,其余48个均为Sheffer函数。在此基础上,可以进一步发现并证明大量的其他类Ci型和类Di型Sheffer函数。 展开更多

关键词 3值逻辑 sheffer函数 S型函数 类Ci型sheffer函数

下载PDF 职称材料

关于部分K值逻辑中的单纯可离函数集性质的一些结果 被引量：1

10

作者 王婷 刘任任 《计算技术与自动化》 2004年第3期32-33,72,共3页

在多值逻辑函数结构理论中,Sheffer函数的判定与构造是其中的一个重要的组成部分。其判定问题与函数集完备性之判定密切相关,而完备性之判定又可归结为定出其中的所有准完备集。对于部分多值逻辑,其函数集的完备性问题已彻底解决,即定... 在多值逻辑函数结构理论中,Sheffer函数的判定与构造是其中的一个重要的组成部分。其判定问题与函数集完备性之判定密切相关,而完备性之判定又可归结为定出其中的所有准完备集。对于部分多值逻辑,其函数集的完备性问题已彻底解决,即定出了其中的所有准完备集(共七类),但其中的Sheffer函数之判定与构造问题尚未彻底解决。本文对第三类准完备集———单纯可离函数集的性质进行了研究。 展开更多

关键词 数集 sheffer函数 完备性 判定 多值逻辑 性质 构造 性问题 结构理论 组成部分

下载PDF 职称材料

部分四值逻辑中保三元正则可离关系函数集最小覆盖的确定

11

作者 周小强 刘任任 《计算技术与自动化》 2007年第1期59-62,共4页

Sheffer函数的判定与构造是多值逻辑函数结构理论中的重要问题之一,此问题可归结为定出多值逻辑函数集之准完备集的最小覆盖。本文根据部分K值逻辑的完备性理论以及准完备集之间的相似关系理论,定出部分四值逻辑中保三元正则可离关系的... Sheffer函数的判定与构造是多值逻辑函数结构理论中的重要问题之一,此问题可归结为定出多值逻辑函数集之准完备集的最小覆盖。本文根据部分K值逻辑的完备性理论以及准完备集之间的相似关系理论,定出部分四值逻辑中保三元正则可离关系的准完备集之最小覆盖的成员。 展开更多

关键词 多值逻辑 完备性 sheffer函数 最小覆盖

下载PDF 职称材料

关于部分四值逻辑中完满对称函数集最小覆盖判定的一些结果 被引量：1

12

作者 黄锋 刘任任 《计算技术与自动化》 2006年第1期41-43,共3页

对部分四值逻辑中保完满对称关系的78个准完备集按相似关系剔除不属于最小覆盖的32个准完备集,为部分四值逻辑中准完备集最小覆盖的判定提供基础。

关键词 多值逻辑 完备性 准完备集 sheffer函数

下载PDF 职称材料

部分四值逻辑中Sheffer函数的判定 被引量：1

13

作者 金辉霞 何骞 《计算机工程与应用》 CSCD 北大核心 2011年第29期140-142,共3页

多值逻辑是指一切逻辑值的取值数大于2的逻辑。Sheffer函数的判定问题是多值逻辑完备性理论中的一个重要问题,此问题的解决依赖于定出多值逻辑函数集中所有准完备集的最小覆盖。在深入研究部分四值逻辑中Sheffer函数的基础上,根据部分... 多值逻辑是指一切逻辑值的取值数大于2的逻辑。Sheffer函数的判定问题是多值逻辑完备性理论中的一个重要问题,此问题的解决依赖于定出多值逻辑函数集中所有准完备集的最小覆盖。在深入研究部分四值逻辑中Sheffer函数的基础上,根据部分四值逻辑中准完备集的最小覆盖,给出了一个部分四值逻辑中Sheffer函数的判定算法。此算法能够判定任意一个函数是不是部分四值逻辑中的Sheffer函数。 展开更多

关键词 多值逻辑 sheffer函数 准完备集 最小覆盖

下载PDF 职称材料

关于部分K值逻辑Sheffer函数(V)

14

作者 李舒 刘任任 《计算技术与自动化》 2004年第3期37-39,共3页

根据部分多值逻辑的完备性理论[1],本文证明了m=2时,关系图为对称H图的一类单纯可离函数集在P k的准完备集之最小覆盖中必出现。

关键词 sheffer函数 完备性 数集 对称 证明 关系图 多值逻辑 理论 根据 K值

下载PDF 职称材料

P4^＊中保三元正则可离关系函数集非最小覆盖成员的确定

15

作者 周小强 《湖南理工学院学报（自然科学版）》 CAS 2007年第4期16-18,共3页

根据部分K值逻辑的完备性理论[1]以及准完备集之间的相似关系理论[2],定出了必不属于部分四值逻辑中保三元正则可离关系函数集之最小覆盖的成员.

关键词 多值逻辑 完备性 sheffer函数 最小覆盖

下载PDF 职称材料

关于部分多值逻辑函数集中准完备集的若干性质 被引量：1

16

作者 刘任任 王婷 谭昊勋 《计算机学报》 EI CSCD 北大核心 2012年第4期754-760,共7页

Sheffer函数的最简判定是多值逻辑函数集完备性判定问题中的一个重要的理论和实际问题.文中根据多值逻辑函数理论中"保关系"的系统思想,使用群论和组合数学的工具,研究了部分多值逻辑函数集中准完备类相应关系的若干性质.给... Sheffer函数的最简判定是多值逻辑函数集完备性判定问题中的一个重要的理论和实际问题.文中根据多值逻辑函数理论中"保关系"的系统思想,使用群论和组合数学的工具,研究了部分多值逻辑函数集中准完备类相应关系的若干性质.给出并证明了非空关系Gm是完全关系以及子群H是Gm的对称群的充要条件,定出了部分k值逻辑中完满对称函数类Fs,m中函数集的个数.以上工作为解决部分多值逻辑中Sheffer函数的判定提供了研究基础. 展开更多

关键词 多值逻辑 完备性 保关系 准完备集 sheffer函数

下载PDF 职称材料

关于部分K值逻辑Sheffer函数(Ⅳ)

17

作者 李舒 刘任任 《长沙交通学院学报》 2004年第4期3-7,共5页

根据部分多值逻辑的完备性理论,证明了m=2时关系图为树的两类单纯可离函数集一类P k的极大封闭集之最小覆盖中k在的极大封闭集之最小覆盖中不出现,另一类在P 必须出现。

关键词 多值逻辑 完备性 sheffer函数 极大封闭集

下载PDF 职称材料

部分多值逻辑函数集中准完备集的分类问题研究

18

作者 王婷 刘任任 马珂 《计算机科学》 CSCD 北大核心 2014年第8期60-62,共3页

Sheffer函数的最简判定是多值逻辑函数集完备性判定问题中的一个重要的理论和实际问题。根据部分多值逻辑函数的完备性理论,研究了部分多值逻辑函数集中准完备集的分类问题,从而为解决部分多值逻辑中Sheffer函数的判定问题提供了研究基础。

关键词 多值逻辑 完备性 保关系 准完备集 sheffer函数

下载PDF 职称材料

P4^＊中保二元正则可离关系非最小覆盖的剔除

19

作者 周小强 刘任任 《山东大学学报（理学版）》 CAS CSCD 北大核心 2008年第12期24-27,共4页

为确定部分四值逻辑的最小覆盖,根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论,对部分四值逻辑的最小覆盖进行分析,证明了270个保二元正则可离关系函数集中的222个函数集必不属于部分四值逻辑中最小覆盖的... 为确定部分四值逻辑的最小覆盖,根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论,对部分四值逻辑的最小覆盖进行分析,证明了270个保二元正则可离关系函数集中的222个函数集必不属于部分四值逻辑中最小覆盖的成员。 展开更多

关键词 多值逻辑 sheffer函数 正则可离关系 最小覆盖

下载PDF 职称材料