含等词的超表演算
2005-04-29 00:44:03冯莎莎孙吉贵吴瑕
吉林大学学报(理学版) 2005年4期
冯莎莎 孙吉贵 吴 瑕
摘要：将处理等词问题的Superposition方法引入超表演算中，使超表演算能处理含等词的一阶逻辑问题，这种新的表演算不但具有完备性，而且无需回溯，是用表演算完成含等词的一阶逻辑定理机器证明的一种尝试。
关键词：超表演算；Superposition方法；等词
中图分类号：TP31
文献标识码：A
文章编号：1671-5489(2005)04—0455—06
猜你喜欢
数学杂志(2023年1期)2023-03-17 00:22:58
河北大学学报(自然科学版)(2022年6期)2022-12-22 05:54:58
课程教育研究·学法教法研究(2016年8期)2016-06-14 15:21:38
新校园(下)(2015年6期)2015-07-04 05:06:49
课程教育研究·学法教法研究(2015年7期)2015-05-30 10:48:04
城市建设理论研究(2014年37期)2014-12-25 01:25:26
润滑油(2014年3期)2014-11-07 14:30:02
科教导刊(2014年14期)2014-06-20 04:03:27
中国科技博览(2014年14期)2014-04-30 10:07:19
科教导刊(2014年6期)2014-03-17 12:05:24
