含等詞的超表演算
2005-04-29 00:44:03馮莎莎孫吉貴吳瑕
吉林大學(xué)學(xué)報(理學(xué)版) 2005年4期
馮莎莎 孫吉貴 吳 瑕
摘要：將處理等詞問題的Superposition方法引入超表演算中，使超表演算能處理含等詞的一階邏輯問題，這種新的表演算不但具有完備性，而且無需回溯，是用表演算完成含等詞的一階邏輯定理機器證明的一種嘗試。
關(guān)鍵詞：超表演算；Superposition方法；等詞
中圖分類號：TP31
文獻標(biāo)識碼：A
文章編號：1671-5489(2005)04—0455—06
猜你喜歡
數(shù)學(xué)雜志(2023年1期)2023-03-17 00:22:58
河北大學(xué)學(xué)報(自然科學(xué)版)(2022年6期)2022-12-22 05:54:58
課程教育研究·學(xué)法教法研究(2016年8期)2016-06-14 15:21:38
新校園(下)(2015年6期)2015-07-04 05:06:49
課程教育研究·學(xué)法教法研究(2015年7期)2015-05-30 10:48:04
城市建設(shè)理論研究(2014年37期)2014-12-25 01:25:26
潤滑油(2014年3期)2014-11-07 14:30:02
科教導(dǎo)刊(2014年14期)2014-06-20 04:03:27
中國科技博覽(2014年14期)2014-04-30 10:07:19
科教導(dǎo)刊(2014年6期)2014-03-17 12:05:24
