首页> 中文期刊> 《中国新技术新产品》 >格值命题逻辑系统LP(X)的α-超归结原理

格值命题逻辑系统LP(X)的α-超归结原理

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

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

摘要

本文提出了格值命题逻辑系统LP(X)上的α-超归结原理,并证明了其可靠性和完备性.

著录项

来源
《中国新技术新产品》 |2009年第24期|234|共1页
作者
李晓冰;
展开▼
作者单位

东北财经大学信息工程学院,辽宁,大连,116025;

展开▼
原文格式 PDF
正文语种 chi
中图分类
关键词
格值命题逻辑系统; 归结自动推理; α-归结原理; α-超归结原理;

相似文献

中文文献
外文文献
专利

1. 格值命题逻辑系统LP(X)的Ⅱ-α-超归结原理 [J] . 李晓冰 . 电脑知识与技术 . 2009,第033期
2. 四值非链格值命题逻辑系统LP_4(X)的归结原理 [J] . 孟丹 ,郑逢斌 ,徐扬 . 河南大学学报：自然科学版 . 2003,第3期
3. 基于格值命题逻辑系统LP(X)的多元α-归结原理的注记 [J] . 刘熠 ,徐扬 ,贾海瑞 . 计算机科学 . 2015,第004期
4. 基于格值命题逻辑系统LP(X)的不确定性推理 [J] . 周平 ,姜明 ,徐扬 . 四川师范大学学报（自然科学版） . 2006,第005期
5. 格值命题逻辑系统LP(X)中广义文字的α-归结域 [J] . 王伟 ,姜保庆 ,徐扬 . 西南交通大学学报 . 2005,第004期
6. 基于格值命题逻辑系统LP(X)的多元α-归结原理的注记 [C] . LIU Yi ,刘熠 ,XU Yang . 2014湖北省计算机学会学术年会 . 2014
7. 格值命题逻辑系统LP（X）中基于α-归结原理的自动推理方法的研究 [A] . 王伟 . 2002

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号