首页> 中文期刊> 《计算机工程与应用》 >部分K值逻辑中最小覆盖之判定的一些结果

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

AI论文写作 >>

开具论文收录证明 >>

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

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

著录项

来源
《计算机工程与应用》 |2007年第23期|38-39,50|共3页
作者
刘玉珍; 刘任任;
展开▼
作者单位

湘潭大学;

信息工程学院;

湖南;

湘潭;

411105;

湘潭大学;

信息工程学院;

湖南;

湘潭;

411105;

展开▼
原文格式 PDF
正文语种 chi
中图分类数理逻辑（符号逻辑）;
关键词
多值逻辑; 完备性; Sheffer函数; 极大封闭集(准完备集); 最小覆盖;

相似文献

中文文献
外文文献
专利

1. 部分K值逻辑中完满对称函数集最小覆盖判定的一些结果 [J] . 龚志伟 ,刘任任 . 计算机科学 . 2012,第005期
2. 关于部分K值逻辑中正则可离函数集的极大封闭集之最小覆盖判定的一些结果 [J] . 刘玉珍 ,刘任任 . 海军工程大学学报 . 2004,第005期
3. 关于部分四值逻辑中完满对称函数集最小覆盖判定的一些结果 [J] . 黄锋 ,刘任任 . 计算技术与自动化 . 2006,第001期
4. 关于部分K值逻辑中Sheffer函数判定的一些结果(I) [J] . 肖凡 ,刘任任 . 湘潭大学自然科学学报 . 2001,第003期
5. 关于部分K值逻辑Sheffer函数判定的一些结果(II) [J] . 肖凡 ,刘任任 . 湘潭大学自然科学学报 . 2002,第002期
6. 关于部分K值逻辑Sheffer函数(Ⅲ) [C] . 刘任任 ,陈建二 ,陈松乔 . 2002年全国理论计算机科学学术年会 . 2002
7. 部分K值逻辑中Sheffer函数的判定问题 [A] . 刘任任 . 2004

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号