提示
潘维民
-
58浏览
-
0点赞
-
0收藏
-
0分享
-
115下载
-
0评论
-
引用
期刊论文
种新的模态归结
计算机学报，1997，20（8）：711～717，-0001，（）：
摘要/描述
本文首先给出了一种标准子句的定义，在其基础上定义了命题模态逻辑系统Ss的子句集的可归结形式，证明了任意模态S子句集不可满足的充要条件为在其可归结形式上可归结出空子句。
【免责声明】以下全部内容由[潘维民]上传于[2010年01月27日 10时31分26秒]，版权归原创者所有。本文仅代表作者本人观点，与本网站无关。本网站对文中陈述、观点判断保持中立，不对所包含内容的准确性、可靠性或完整性提供任何明示或暗示的保证。请读者仅作参考，并请自行承担全部责任。
我要评论
全部评论
共 0 条
本学者其他成果
同领域成果
