范式,同时还提出了构造等值完全析取范式形成化算法,并证明了等值完全析取范式的存在和唯一性.'/> 关于中介命题演算系统MP<'M>范式的研究-金仁康毛宇光-中文会议【掌桥科研】

首页> 中文会议>2003年全国理论计算机科学学术年会 >关于中介命题演算系统MP<'M>范式的研究

关于中介命题演算系统MP<'M>范式的研究

页面导航

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

摘要

本文主要研究了关于中介命题演算系统MP<'M>范式,同时还提出了构造等值完全析取范式形成化算法,并证明了等值完全析取范式的存在和唯一性.

著录项

来源
《2003年全国理论计算机科学学术年会》|2003年|363-364|共2页
会议地点青岛
作者
金仁康; 毛宇光;
展开▼
作者单位

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类算法理论;软件工程;
关键词
软件技术; 中介命题演算系统; 命题联结词组; 等值完全析取范式;
入库时间 2022-08-17 11:06:50

相似文献

中文文献
外文文献
专利

1. 中介命题演算系统MP^M的代数系统 [J] . 曹汝鸣 ,毛宇光 ,陈文彬 . 数学研究与评论：英文版 . 2006,第4期
2. 中介命题演算系统MPM的公理完备集 [J] . 曹汝鸣 ,毛宇光 ,陈文彬 . 计算机科学 . 2006,第002期
3. 中介逻辑的命题演算系统（MP^＊）的一些特征 [J] . 盛建国 . 应用数学 . 1989,第4期
4. 中介逻辑命题演算扩张系统MP的完备性 [J] . 潘正华 . 应用数学 . 1989,第2期
5. 中介逻辑命题演算系统的可满足性的判定复杂度 [J] . 邹晶 ,肖奚安 . 南京师大学报（自然科学版） . 1989,第001期
6. 中介逻辑命题演算系统MPM的范式 [C] . 毛宇光 ,徐洁磐 ,韩波 . 2001年全国理论计算机科学学术会议 . 2001
7. 交易费用范式下金融产品与金融中介机构变迁的研究 [A] . 刘二斌 . 2006

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号