期刊文献+
共找到53篇文章
< 1 2 3 >
每页显示 20 50 100
一类3值逻辑2元Sheffer函数 被引量:1
1
作者 杜国平 《华南师范大学学报(社会科学版)》 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
部分二值逻辑中Sheffer函数的判定 被引量:6
2
作者 刘任任 陈建二 陈松乔 《计算机工程》 CAS CSCD 北大核心 2004年第24期19-21,共3页
利用保关系的思想,定出了部分二值逻辑函数中准完备集的最小覆盖。从而给出了部分二值Sheffer函数的最简判定方法。该方法具有重要的理论和实际意义。
关键词 sheffer函数 准完备集 最小覆盖
在线阅读 下载PDF
关于部分K值逻辑中Sheffer函数判定的一些结果(Ⅰ) 被引量:9
3
作者 肖凡 刘任任 《湘潭大学自然科学学报》 CAS CSCD 2001年第3期15-19,共5页
根据部分多值逻辑的完备性理论,证明了m=2时的一类完满对称函数集在P*K中极大封闭集之最小覆盖中必需出现.
关键词 多值逻辑 完备性 sheffer函数 极大封闭集
在线阅读 下载PDF
关于部分K值逻辑Sheffer函数(Ⅰ) 被引量:6
4
作者 欧阳建权 刘任任 《湘潭大学自然科学学报》 CAS CSCD 2000年第3期5-10,共6页
根据部分多值逻辑的完备性理论 ,证明了m =2时的一类正则可离函数集在P K
关键词 多值逻辑 完备性 sheffer函数 极大封闭集
在线阅读 下载PDF
关于部分K值逻辑Sheffer函数判定的一些结果(II) 被引量:6
5
作者 肖凡 刘任任 《湘潭大学自然科学学报》 CAS CSCD 2002年第2期36-38,共3页
根据部分多值逻辑的完备性理论 ,证明了m =2时的两类正则可离函数集必然不包含在P
关键词 K值逻辑 sheffer函数 多值逻辑 完备性
在线阅读 下载PDF
关于部分K值逻辑Sheffer函数(IV) 被引量:4
6
作者 刘玉珍 刘任任 《湘潭大学自然科学学报》 CAS CSCD 2004年第2期29-32,共4页
根据部分多值逻辑的完备性理论 [罗铸楷等 ] ,证明了 m =2时的一类正则可离函数集在P k 的极大封闭集之最小覆盖中必不出现 .
关键词 多值逻辑 完备性 sheffer函数 极大封闭集
在线阅读 下载PDF
部分四值逻辑中Sheffer函数的判定 被引量:1
7
作者 金辉霞 何骞 《计算机工程与应用》 CSCD 北大核心 2011年第29期140-142,共3页
多值逻辑是指一切逻辑值的取值数大于2的逻辑。Sheffer函数的判定问题是多值逻辑完备性理论中的一个重要问题,此问题的解决依赖于定出多值逻辑函数集中所有准完备集的最小覆盖。在深入研究部分四值逻辑中Sheffer函数的基础上,根据部分... 多值逻辑是指一切逻辑值的取值数大于2的逻辑。Sheffer函数的判定问题是多值逻辑完备性理论中的一个重要问题,此问题的解决依赖于定出多值逻辑函数集中所有准完备集的最小覆盖。在深入研究部分四值逻辑中Sheffer函数的基础上,根据部分四值逻辑中准完备集的最小覆盖,给出了一个部分四值逻辑中Sheffer函数的判定算法。此算法能够判定任意一个函数是不是部分四值逻辑中的Sheffer函数。 展开更多
关键词 多值逻辑 sheffer函数 准完备集 最小覆盖
在线阅读 下载PDF
Bernstein-Sheffer算子的逼近等价定理 被引量:1
8
作者 刘清国 刘军 《数学杂志》 CSCD 北大核心 2003年第2期253-256,共4页
本文利用H(t)=t+ht、e定义了n阶Bernstein-Sheffer算子,建立了其逼近等价定理。
关键词 Bernstein-sheffer算子 逼近 等价
在线阅读 下载PDF
关于K值Sheffer函数 被引量:2
9
作者 罗铸楷 王雷 《湘潭大学自然科学学报》 CAS CSCD 1998年第3期1-8,共8页
在完全多值逻辑函数中,定出了图形仅含圈环且模为K+3的Shefer函数之充要条件,从而给出了大量新的Shefer函数.
关键词 多值逻辑 完备性 sheffer函数
在线阅读 下载PDF
关于部分K值逻辑Sheffer函数(III) 被引量:6
10
作者 李舒 刘任任 《湘潭大学自然科学学报》 CAS CSCD 2002年第3期44-48,共5页
根据部分多值逻辑的完备性理论 ,证明了m =2时的一类单纯可离函数集在P k 的极大封闭集之最小覆盖中必须出现 .
关键词 部分K值逻辑 部分多值逻辑 完备性 sheffer函数 极大封闭集 单纯可离函数集 最小覆盖
在线阅读 下载PDF
Bernstein-Sheffer算子在C_Ω空间上的逼近等价定理 被引量:2
11
作者 刘清国 王坚勇 梁子卿 《厦门大学学报(自然科学版)》 CAS CSCD 北大核心 1999年第5期645-655,共11页
研究了 Bernsteinsheffer 算子在 CΩ空间上的逼近性质,建立了逼近等价定理:  1)当 h> 0 时, B Hn 是[0,1]到自身的正线性算子,则 f∈ D2= {f|‖ B Hn (f)- f‖Ω= O(n-... 研究了 Bernsteinsheffer 算子在 CΩ空间上的逼近性质,建立了逼近等价定理:  1)当 h> 0 时, B Hn 是[0,1]到自身的正线性算子,则 f∈ D2= {f|‖ B Hn (f)- f‖Ω= O(n- α2 ),f ∈ CΩ,等价 K(f ,t)= O(tα2 ,|0< α< 2);  2)对 0< α< 2,f∈ CΩ,对下命题等价  i)f∈ Dα= {f|‖ B Hn (f)- f‖Ω= Ο(n- α/2)};  ii)对 L∈ C0 ,有 | L(f)| ≤ M f (| L|(Ω))1- α/2(∫10| L(k(·,u))| Ω(u)φ(u) du)α/2. 展开更多
关键词 sheffer CΩ空间 B-S算子 逼近等价定理
在线阅读 下载PDF
部分三值逻辑中Sheffer函数的判定算法 被引量:4
12
作者 何骞 刘任任 《计算机工程与应用》 CSCD 北大核心 2009年第19期52-54,57,共4页
根据部分多值逻辑的完备性理论和部分三值逻辑中准完备集的最小覆盖,给出部分三值逻辑中Sheffer函数的判定算法。
关键词 多值逻辑 准完备集 最小覆盖 sheffer函数
在线阅读 下载PDF
部分二值逻辑中Sheffer函数的构造与判定算法 被引量:4
13
作者 何骞 刘任任 《计算机工程与应用》 CSCD 北大核心 2010年第5期28-30,共3页
在深入研究部分二值逻辑中Sheffer函数的基础上,根据部分二值逻辑中准完备集的最小覆盖,提出了一种高效地构造部分二值逻辑中Sheffer函数的算法,此算法能够构造出部分二值逻辑中的全部Sheffer函数,在构造算法的基础上,进一步提出了一种... 在深入研究部分二值逻辑中Sheffer函数的基础上,根据部分二值逻辑中准完备集的最小覆盖,提出了一种高效地构造部分二值逻辑中Sheffer函数的算法,此算法能够构造出部分二值逻辑中的全部Sheffer函数,在构造算法的基础上,进一步提出了一种部分二值逻辑中Sheffer函数的判定算法,此算法和传统判定算法相比,避免了繁琐的计算,可以说是一种较简单的判定算法。 展开更多
关键词 sheffer函数 准完备集 最小覆盖
在线阅读 下载PDF
一些Sheffer型的运算
14
作者 杨安洲 《贵州科学》 1998年第3期238-240,共3页
给出一些不同于R.L.Graham在1967年得到的Sheffer型的运算.
关键词 逻辑关联词 sheffer 运算 多值逻辑
在线阅读 下载PDF
关于部分K值逻辑Sheffer函数(Ⅳ)
15
作者 李舒 刘任任 《长沙交通学院学报》 2004年第4期3-7,共5页
根据部分多值逻辑的完备性理论,证明了m=2时关系图为树的两类单纯可离函数集一类P k的极大封闭集之最小覆盖中k在的极大封闭集之最小覆盖中不出现,另一类在P 必须出现。
关键词 多值逻辑 完备性 sheffer函数 极大封闭集
在线阅读 下载PDF
关于部分K值逻辑Sheffer函数(V)
16
作者 李舒 刘任任 《计算技术与自动化》 2004年第3期37-39,共3页
根据部分多值逻辑的完备性理论[1],本文证明了m=2时,关系图为对称H图的一类单纯可离函数集在P k的准完备集之最小覆盖中必出现。
关键词 sheffer函数 完备性 数集 对称 证明 关系图 多值逻辑 理论 根据 K值
在线阅读 下载PDF
部分四值逻辑中Sheffer函数的判定与构造 被引量:2
17
作者 刘任任 《计算机工程与科学》 CSCD 2008年第11期75-76,共2页
根据部分K值逻辑的完备性理论和相似关系概念,利用部分多值逻辑函数集中准完备集之最小覆盖成员的判定构造了部分四值逻辑函数集P4*中的Sheffer函数。
关键词 多值逻辑 Sheller函数 最小覆盖
在线阅读 下载PDF
Sheffer序列与Riordan阵
18
作者 邓亚莉 王颜超 《科技信息》 2013年第8期174-175,共2页
本文介绍了Sheffer序列的定义并且总结了Riordan阵的若干性质以及Sheffer序列与Riordan阵的关系,证明了Sheffer序列与Riordan阵构成的群是同构的。
关键词 Riordan阵 sheffer序列 同构
在线阅读 下载PDF
Neutrosophic N-Structures Applied to Sheffer Stroke BL-Algebras
19
作者 Tugce Katican Tahsin Oner +1 位作者 Akbar Rezaei Florentin Smarandache 《Computer Modeling in Engineering & Sciences》 SCIE EI 2021年第10期355-372,共18页
In this paper,we introduce a neutrosophic N-subalgebra,a(ultra)neutrosophic N-filter,level sets of these neutrosophic N-structures and their properties on a Sheffer stroke BL-algebra.By defining a quasi-subalgebra of ... In this paper,we introduce a neutrosophic N-subalgebra,a(ultra)neutrosophic N-filter,level sets of these neutrosophic N-structures and their properties on a Sheffer stroke BL-algebra.By defining a quasi-subalgebra of a Sheffer stroke BL-algebra,it is proved that the level set of neutrosophic N-subalgebras on the algebraic structure is its quasi-subalgebra and vice versa.Then we show that the family of all neutrosophic N-subalgebras of a Sheffer stroke BL-algebra forms a complete distributive lattice.After that a(ultra)neutrosophic N-filter of a Sheffer stroke BL-algebra is described,we demonstrate that every neutrosophic N-filter of a Sheffer stroke BL-algebra is its neutrosophic N-subalgebra but the inverse is generally not true.Finally,it is presented that a level set of a(ultra)neutrosophic N-filter of a Sheffer stroke BL-algebra is also its(ultra)filter and the inverse is always true.Moreover,some features of neutrosophic N-structures on a Sheffer stroke BL-algebra are investigated. 展开更多
关键词 sheffer stroke BL-algebra (ultra)filter neutrosophic N-subalgebra (ultra)neutrosophic N-filter
在线阅读 下载PDF
论三值逻辑上的Sheffer对称函数
20
作者 STOJM.,I 黄正林 《数理译丛》 1989年第2期14-21,共8页
关键词 三值逻辑 对称函数 sheffer函数
在线阅读 下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部