共查询到20条相似文献,搜索用时 78 毫秒
1.
部分K值逻辑中准完备集之最小复盖的一些结果(Ⅰ) 总被引:12,自引:5,他引:12
刘任任 《湘潭大学自然科学学报》1992,14(1):123-129
根据部分K值逻译的完备性理论,证明了保E函数集T_E是P_K~*中准完备集之最小复盖的必需组成部分,它们的并集复盖了大量的准完备集。 相似文献
2.
根据部分 k 值逻辑的完备性理论,给出了部分四值逻辑中 L 型函数集与拟线性函数集,从而推进了 P_4(?)中准完备集之最小覆盖的完全解决. 相似文献
3.
关于部分K值逻辑中准完备集之最小覆盖的一些结果(Ⅲ) 总被引:7,自引:3,他引:7
刘任任 《湘潭大学自然科学学报》1995,(3)
根据部分K值逻辑的完备性理论,证明了满足一定条件的完满对称函数集是Pk*中准完备集之最小覆盖的必要组成部分. 相似文献
4.
根据部分K值逻辑的完备性理论和相似关系概念,定出并证明了属于准完备集最小覆盖的保三元单纯可离关系函数集. 相似文献
5.
许芬 《海南师范大学学报(自然科学版)》2006,19(3):222-224
根据部分K值逻辑的完备性理论,通过剔除部分四值逻辑中能被其余准完备集覆盖的单纯可离函数集,缩小了判定最小覆盖的范围. 相似文献
6.
7.
8.
本文从对偶地角度出发,引入了相容滤子集、相容滤子完备偏序集的概念,并研究了偏序集及相容滤子完备偏序集上投射算子的几个性质.证明了若p:L→L是偏序集L上保相容滤子交的投射算子,则p(L)在L中对相容滤子交封闭等相关结论. 相似文献
9.
基于一般R0代数的定义,在e*命题集中定义了一种特殊的具体的R0代数-T-R0代数;基于对e*系统中的极大命题集和完备命题集,给出了T-R0代数代数的滤子的一般形式及其T-R0代数的特殊滤子与特殊命题集之间的关系..关键词:e*命题逻辑系统;R0代数;T-R0代数;滤子;极大命题集;完备命题集 相似文献
10.
部分三值逻辑中准完备集的最小复盖 总被引:21,自引:4,他引:17
刘任任 《湘潭大学自然科学学报》1991,13(2):158-165
根据部分K值逻辑的完备性理论,定出了P_3~*中所有准完备集的最小复盖,并依此构造出大量的部分三值Sheffer函数。 相似文献
11.
本文用ψ-极小集和化的方法讨论了完备格中ψ-连续元的性质,给出了完备格范畴中自由ψ-连续格存在性的构造性证明。 相似文献
12.
借助相容连续偏序集的定义,研究相容连续偏序集上映射与伴随之间的关系,探讨相容定向完备偏序集上连续映射空间的若干性质.此外给出相容连续偏序集在Scott拓扑中的一些性质. 相似文献
13.
关于部分K值逻辑中Sheffer函数判定的一些结果(I) 总被引:5,自引:2,他引:3
根据部分多值逻辑的完备性理论,证明了m=2时的一类完满对称函数集在PK^*中极大封闭集之最小覆盖中必需出现. 相似文献
14.
关于部分K值逻辑Sheffer函数(III) 总被引:1,自引:0,他引:1
根据部分多值逻辑的完备性理论 ,证明了m =2时的一类单纯可离函数集在P k 的极大封闭集之最小覆盖中必须出现 . 相似文献
15.
关于部分K值逻辑中Sheffer函数判定的一些结果(Ⅰ) 总被引:4,自引:1,他引:3
根据部分多值逻辑的完备性理论,证明了m=2时的一类完满对称函数集在P*K中极大封闭集之最小覆盖中必需出现. 相似文献
16.
关于部分K值逻辑Sheffer函数判定的一些结果(II) 总被引:6,自引:1,他引:5
根据部分多值逻辑的完备性理论,证明了m=2时的两类正则可离函数集必然不包含在P的极大封闭集之最小覆盖中。 相似文献
17.
18.
19.
20.
关于部分K值逻辑Sheffer函数(IV) 总被引:2,自引:0,他引:2
根据部分多值逻辑的完备性理论[罗铸楷等],证明了m=2时的一类正则可离函数集在Pk^n的极大封闭集之最小覆盖中必不出现. 相似文献