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

On Sheffer Functions in Partial KValued Logic(Ⅰ)

下载PDF

导出

摘要根据部分多值逻辑的完备性理论 ,证明了m =2时的一类正则可离函数集在P K In this paper,according to the completeness theory of Partial K Valued logic,some regular separable functions( m =2) are proved to be the component part of the minimal covering of precomplete classes in P * K .

作者欧阳建权刘任任

机构地区湘潭大学信息工程学院

出处《湘潭大学自然科学学报》 CAS CSCD 2000年第3期5-10,共6页 Natural Science Journal of Xiangtan University

基金湖南省自然科学基金!资助项目 (97JJN2 0 2 7)

关键词多值逻辑完备性 SHEFFER函数极大封闭集 multiplevalued logic,completeness,sheffer,precomplete Classes

分类号 O141.3 [理学—基础数学]

引文网络
相关文献

参考文献9

1刘任任.部分三值逻辑中准完备集的最小复盖[J].湘潭大学自然科学学报,1991,13(2):158-165. 被引量：34
2刘任任.部分K值逻辑中准完备集之最小复盖的一些结果(Ⅰ)[J].湘潭大学自然科学学报,1992,14(1):123-129. 被引量：20
3刘任任.关于部分K值逻辑中准完备集之最小复盖的一些结果(Ⅱ)[J].湘潭大学自然科学学报,1993,15(2):141-148. 被引量：17
4刘任任.关于部分K值逻辑中准完备集之最小覆盖的一些结果（Ⅲ）[J].湘潭大学自然科学学报,1995,17(3):109-113.
5罗铸楷，多值逻辑的理论及应用，1992年
6Liu Renren，Preceedings of ICYCS’91，1991年，280页
7Liu Renren，Proceedings of IMVL’98，1998年，77页
8Liu Renren，Multi Val Logic，1996年，1卷，253页
9刘任任，湘潭大学自然科学学报，1995年，17卷，3期，109页

二级参考文献3

1罗铸楷.部分多值逻辑函数的完备性理论[J]数学学报,1984(05).
2罗铸楷.多值逻辑中正规关系的分类[J]湘潭大学自然科学学报,1984(02).
3王湘浩.有限集合上缺值及不缺值函数的结构理论[J]吉林大学自然科学学报,1963(02).

共引文献36

1刘任任,陈建二,陈松乔.关于部分K值逻辑Sheffer函数(Ⅲ)[J].计算机科学,2002,29(z1):30-33.
2肖凡,刘任任.关于部分K值逻辑中Sheffer函数判定的一些结果(Ⅰ)[J].湘潭大学自然科学学报,2001,23(3):15-19. 被引量：9
3刘玉珍,刘任任.关于部分K值逻辑中正则可离函数集的极大封闭集之最小覆盖判定的一些结果[J].海军工程大学学报,2004,16(5):17-20. 被引量：4
4Ren-RenLiu,Song-QiaoChen,Jian-ErChen,ShuLi.Some Results on the Minimal Coverings of Precomplete Classes in Partial k-Valued Logic Functions[J].Journal of Computer Science & Technology,2004,19(6):981-985. 被引量：11
5祝中录.“预设”不可弱化——兼谈对课程改革的一点思考[J].教育科学论坛,2005(9):16-18. 被引量：3
6郭正让.转变高校人力资源管理模式实现人才工作跨越式发展[J].人才资源开发,2005(12):18-19. 被引量：4
7黄锋,刘任任.关于部分四值逻辑中完满对称函数集最小覆盖判定的一些结果[J].计算技术与自动化,2006,25(1):41-43. 被引量：1
8许芬,刘任任.部分四值逻辑中L型函数集与拟线性函数集之确定[J].海南师范学院学报（自然科学版）,2006,19(1):23-25.
9刘玉珍,刘任任.部分K值逻辑中正则可离函数集的一些结果[J].计算机工程与应用,2006,42(9):48-49. 被引量：2
10许芬,刘任任.部分四值逻辑中4元单纯可离关系之分类[J].计算技术与自动化,2006,25(2):55-56. 被引量：2

同被引文献42

1肖凡,刘任任.关于部分K值逻辑中Sheffer函数判定的一些结果(Ⅰ)[J].湘潭大学自然科学学报,2001,23(3):15-19. 被引量：9
2刘玉珍,刘任任.关于部分K值逻辑中正则可离函数集的极大封闭集之最小覆盖判定的一些结果[J].海军工程大学学报,2004,16(5):17-20. 被引量：4
3刘任任.关于部分K值逻辑中准完备集之最小复盖的一些结果(Ⅱ)[J].湘潭大学自然科学学报,1993,15(2):141-148. 被引量：17
4刘玉珍,刘任任.部分K值逻辑中正则可离函数集的一些结果[J].计算机工程与应用,2006,42(9):48-49. 被引量：2
5刘任任.关于部分K值逻辑中准完备集之最小覆盖的一些结果（Ⅲ）[J].湘潭大学自然科学学报,1995,17(3):109-113.
6[2]Rosenberg I G. On n-valued Sheffer Functions [M]. New York:University of Leicester, 1968.
7[3]Schofield P. In dependent conditions for completeness of finiter algebras with a single generator [J]. J. London Math. ,1969,44:413-423.
8[4]Kudrjavcev V B. The coverings of precomplete classes of K-valued logic (Russian) [J]. Diskret. Analiz. , 1970, 17:32-44.
9[6]Liu R R. The minimal covering of precomplete in partial four-valued logic [A]. Proceedings of ICYCS′91 [C].Beijing: International Academic Publishers, 1991.
10[9]Liu R R. Some results on the decision for Sheffer functions in partial K-valued logic [J]. Multi. Val. Logic, 1996,1 :253-269.

引证文献6

1刘玉珍,刘任任.关于部分K值逻辑中正则可离函数集的极大封闭集之最小覆盖判定的一些结果[J].海军工程大学学报,2004,16(5):17-20. 被引量：4
2刘玉珍,刘任任.部分K值逻辑中正则可离函数集的一些结果[J].计算机工程与应用,2006,42(9):48-49. 被引量：2
3刘玉珍,刘任任.正则可离关系之最小覆盖成员的判定结果[J].计算机工程与应用,2007,43(5):28-29.
4刘玉珍,刘任任.部分K值逻辑中最小覆盖之判定的一些结果[J].计算机工程与应用,2007,43(23):38-39. 被引量：5
5李舒,刘任任.关于部分K值逻辑Sheffer函数(III)[J].湘潭大学自然科学学报,2002,24(3):44-48. 被引量：6
6刘玉珍,刘任任.关于部分K值逻辑Sheffer函数(IV)[J].湘潭大学自然科学学报,2004,26(2):29-32. 被引量：4

二级引证文献12

1刘玉珍,刘任任.关于部分K值逻辑中正则可离函数集的极大封闭集之最小覆盖判定的一些结果[J].海军工程大学学报,2004,16(5):17-20. 被引量：4
2李舒,刘任任.关于部分K值逻辑Sheffer函数(V)[J].计算技术与自动化,2004,23(3):37-39.
3郭正让.转变高校人力资源管理模式实现人才工作跨越式发展[J].人才资源开发,2005(12):18-19. 被引量：4
4刘玉珍,刘任任.部分K值逻辑中正则可离函数集的一些结果[J].计算机工程与应用,2006,42(9):48-49. 被引量：2
5刘玉珍,刘任任.正则可离关系之最小覆盖成员的判定结果[J].计算机工程与应用,2007,43(5):28-29.
6刘玉珍,刘任任.部分K值逻辑中最小覆盖之判定的一些结果[J].计算机工程与应用,2007,43(23):38-39. 被引量：5
7周小强,刘任任.P4^＊中保二元正则可离关系非最小覆盖的剔除[J].山东大学学报（理学版）,2008,43(12):24-27.
8周小强,刘任任.P^＊4中保四元正则可离关系非最小覆盖的剔除[J].计算机应用研究,2009,26(6):2090-2091. 被引量：1
9周小强,刘任任.P4^＊中保四元正则可离关系最小覆盖之确定[J].计算机科学,2009,36(9):176-177. 被引量：1
10龚志伟,刘任任.部分四值逻辑中保二元正则可离关系非最小覆盖的剔除[J].计算技术与自动化,2011,30(3):76-78.

1刘玉珍,刘任任.关于部分K值逻辑Sheffer函数(IV)[J].湘潭大学自然科学学报,2004,26(2):29-32. 被引量：4
2李舒,刘任任.关于部分K值逻辑Sheffer函数(Ⅳ)[J].长沙交通学院学报,2004,20(4):3-7.
3刘玉珍,刘任任.部分K值逻辑中正则可离函数集的一些结果[J].计算机工程与应用,2006,42(9):48-49. 被引量：2
4刘玉珍,刘任任.关于部分K值逻辑中正则可离函数集的极大封闭集之最小覆盖判定的一些结果[J].海军工程大学学报,2004,16(5):17-20. 被引量：4
5李舒,刘任任.关于部分K值逻辑Sheffer函数(III)[J].湘潭大学自然科学学报,2002,24(3):44-48. 被引量：6
6肖凡,刘任任.关于部分K值逻辑中Sheffer函数判定的一些结果(Ⅰ)[J].湘潭大学自然科学学报,2001,23(3):15-19. 被引量：9
7肖凡,刘任任.关于部分K值逻辑Sheffer函数判定的一些结果(II)[J].湘潭大学自然科学学报,2002,24(2):36-38. 被引量：6
8刘玉珍,刘任任.部分K值逻辑中最小覆盖之判定的一些结果[J].计算机工程与应用,2007,43(23):38-39. 被引量：5
9李舒,刘任任.关于部分K值逻辑Sheffer函数(V)[J].计算技术与自动化,2004,23(3):37-39.
10罗铸楷,王雷.关于K值Sheffer函数[J].湘潭大学自然科学学报,1998,20(3):1-8. 被引量：2

湘潭大学自然科学学报

2000年第3期

浏览历史

内容加载中请稍等...