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

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

部分K值逻辑中最小覆盖之判定的一些结果

根据部分K值逻辑完备性理论,证明了当m=2,σ=e时,若正则可离关系G2=G2({1,2})∪G"2之关系图的基础图仅为N图,则T(G2)不是PK*的最小覆盖成员。

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

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

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

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

部分K值逻辑中正则可离函数集的一些结果

根据部分多值逻辑完备性理论,证明了当m=2,σ=e时,若正则可离函数关系G2=G2(｛1,2｝)∪G"2之关系图的基础图连通且如含回路必须是M-回路,则T(G2)不是PK*的最小覆盖成员。

部分四值逻辑中Sheffer函数的判定

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

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

根据部分K值逻辑完备性理论,得到了当m=2,σ=e,时,若正则可离关系G2=G2(｛1,2｝)∪■2之关系图的基础图连通,则T(G2)不是P*K的最小覆盖成员的结论。

部分K值逻辑中完满对称函数集的确定和构造

根据部分K值逻辑的完备性理论,对于一般的K,首先确定了保二元完满对称函数集的个数,并给出了这些函数集的构造方法;然后确定了所有的完满对称函数集的个数,并给出了这些函数集的构造方法。

部分K值逻辑中完满对称函数集最小覆盖判定的一些结果

根据部分K值逻辑的完备性理论,从二元完满对称关系G2的关系图的特点出发,首先证明了两类保二元的完满对称函数集不属于部分K值逻辑的准完备集之最小覆盖。然后对关系图中边的数目分情况进行讨论,定出了部分K值逻辑中保二元的完满对称函数集在边数小于等于K时的准完备集之最小覆盖成员。

群和线性半群的准完备性

本文提出了群完备和准完备的充要条件。同时,还较详尽地讨论了线性半群中的完备性问题。定出其所有的准完备类(即极大封闭集)

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

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

部分三值逻辑中Sheffer函数的判定算法

根据部分多值逻辑的完备性理论和部分三值逻辑中准完备集的最小覆盖,给出部分三值逻辑中Sheffer函数的判定算法。

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

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

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

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

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

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

部分K值逻辑中单纯可离函数集结构研究

根据部分K值逻辑的完备性理论,研究了部分K值逻辑中单纯可离关系函数集的结构。首先解出了部分K值逻辑中m元关系直接划分的个数,然后根据划分求出了部分四值逻辑的所有单纯可离函数集,最后分析了部分K值逻辑中保K元单纯可离关系函数集的性质。