<,K>中极大封闭集之最小覆盖中必需出现。'/> 关于部分K逻辑Sheffer函数(Ⅰ)-欧阳建权刘任任-中文会议【掌桥科研】

首页> 中文会议>第九届全国多值逻辑与模糊逻辑学术会议 >关于部分K逻辑Sheffer函数(Ⅰ)

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

页面导航

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

摘要

根据部分多值逻辑的完备性理论[1]，该文证明了m=2时的一类正则可离函数集成P<'*><,K>中极大封闭集之最小覆盖中必需出现。

著录项

来源
《第九届全国多值逻辑与模糊逻辑学术会议》|2000年|59-65|共7页
会议地点成都
作者
欧阳建权; 刘任任;
展开▼
作者单位

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类函数论;逻辑网络理论;
关键词
多值逻辑; 完备性; Sheffer函数; 极大封闭集;
入库时间 2022-08-17 10:25:27

相似文献

中文文献
外文文献
专利

1. 部分四值逻辑中Sheffer函数的判定 [J] . 金辉霞 ,何骞 . 计算机工程与应用 . 2011,第029期
2. 部分二值逻辑中Sheffer函数的构造与判定算法 [J] . 何骞 ,刘任任 . 计算机工程与应用 . 2010,第005期
3. 部分三值逻辑中Sheffer函数的判定算法 [J] . 何骞 ,刘任任 . 计算机工程与应用 . 2009,第019期
4. 关于部分K值逻辑Sheffer函数(Ⅳ) [J] . 李舒 ,刘任任 . 交通科学与工程 . 2004,第004期
5. 关于部分K值逻辑Sheffer函数(Ⅳ) [J] . 刘玉珍 ,刘任任 . 湘潭大学自然科学学报 . 2004,第002期
6. 关于部分K值逻辑Sheffer函数(Ⅲ) [C] . 刘任任 ,陈建二 ,陈松乔 . 2002年全国理论计算机科学学术年会 . 2002
7. 部分四值逻辑中Sheffer函数的判定与构造 [A] . 朱玲芳 . 2010

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号