首页> 中文会议>第18届全国数据库学术会议 >用于不完全信息数据库的中介逻辑演算系统MPM

用于不完全信息数据库的中介逻辑演算系统MPM

页面导航

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

摘要

为满足不安全信息数据库的应用需求,本文提出了一种新的中介逻辑命题演算系统,证明了它是一种命题联结词含量不完全的逻辑系统,并证明了其可靠性和完备性.

著录项

来源
《第18届全国数据库学术会议》|2001年|365-368412|共5页
会议地点南宁
作者
毛宇光; 徐洁磐; 刘滔; 周勇;
展开▼
作者单位

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类 TP311.13;
关键词
不完全信息数据库; 中介逻辑命题演算系统; 可靠性;

相似文献

中文文献
外文文献
专利

1. 中介逻辑演算系统MP^N及MF^N [J] . 毛宇光 ,朱剑英 ,顾红芳 . 模糊系统与数学 . 1999,第2期
2. 用于不完全信息数据库的多值逻辑研究 [J] . 毛宇光 ,徐洁磐 ,朱梧槚 . 计算机科学 . 2002,第0z1期
3. 中介命题演算系统MPM的公理完备集 [J] . 曹汝鸣 ,毛宇光 ,陈文彬 . 计算机科学 . 2006,第002期
4. 带等词的“中介”谓词逻辑演算ME＊的三值特征定理 [J] . 李广元 ,李祥 . 贵州大学学报：自然科学版 . 1989,第004期
5. “中介”谓词逻辑演算MF的特征问题 [J] . 李祥 ,李广元 . 贵州大学学报：自然科学版 . 1988,第003期
6. 用于不完全信息数据库的多值逻辑研究 [C] . 毛宇光 ,徐洁磐 ,朱梧槚 . 2002年全国理论计算机科学学术年会 . 2002
7. 用于不完全信息数据库的逻辑系统研究 [A] . 金仁康 . 2004

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号