切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
一种新的模态归结
一种新的模态归结
来源 :计算机学报 | 被引量 : 0次 | 上传用户:sky_bj
【摘 要】
:
本文首先给出了一种标准子句的定义,在其基础上定义了命题模态逻辑系统S5的子句集的可归结形式。证明了任意模态S5子句集不可满足的充要条件为在其可归结形式上可归结出空子句。
【作 者】
:
潘维民
陈图云
【机 构】
:
中国科学院计算技术研究所,辽宁师范大学数学系
【出 处】
:
计算机学报
【发表日期】
:
1997年8期
【关键词】
:
模态归结
可归结形式
二元归结式
逻辑设计
Modal resolution
resolvable form
binary resolvent.
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文首先给出了一种标准子句的定义,在其基础上定义了命题模态逻辑系统S5的子句集的可归结形式。证明了任意模态S5子句集不可满足的充要条件为在其可归结形式上可归结出空子句。
其他文献
民权保障同盟为枪决刘煜生案开会
中国民权保障同盟会:昨日为镇江江声日报编辑被江苏省政府主席顾祝同、违法枪决一案、于下午三时、在华安大楼开会讨论办法、招待本市报界、交换意见、兹将详细情形、分志于
期刊
民权
会议
生案
办法
八楼
编辑
分志
兹将
桂西南喀斯特山区土地资源与开发
从土地资源对农、林、牧业的适宜性与限制性出发.全面评价了土地的质量,估算了数量以及阐明其空间分布状况。揭示了土地利用中存在的主要问题及其开发的有利条件,最后根据土地生
期刊
喀斯特山区
土地结构
土地退化
木本饲料
木本粮油
热区农业
负载平衡静态分析方法及其在网络路由分配中的应用
在大规模并行处理系统MPP和工作站机群中,普遍存在着负载分配问题。能否在多个同构处理单元或多个异构处理机(或工作站)之间有效地平衡各负载,是决定能否充分发掘整个系统并行性,进而
期刊
负载平衡
消息传递
MTRSA算法
网络路由分配
Load balance
message passing
combinatory optimization
立足于实际的数字系统级诊断
本文主要提出了一个立足于当前实际的系统级诊断模型。在这模型下,系统级诊断变得很容易。模型基于下列假定:将系统划分成既具有自测试又具有测试其它单位能力的一种单位;其测试
期刊
系统级诊断
诊断模型
模糊数学
数字式
System-level diagnosis
diagnostic model
based on practice
图们江地区产业开发战略研究
文章认为图们江地区的产业开发既是一个当地原有产业的成长过程,又是中俄朝三国经济发展和东北亚地区国际合作的过程。为此本文讨论了地区开发条件和潜力,进而提出了地区产业
期刊
图们江地区
条件
潜力
产业开发战略
Tumen River Area
Conditions
Potentials
Strategy
肖三给左联同志信的附信(一九三四年九月十五日)
兹再附告数事:1.豫翁北上事,IURW无任欢迎.虽我们接来信很晚(六月廿七日盾公信到九月八日才收到),但接信以前早已经相当处所去信国内预告一切。兹IVRW特托转致欢迎之意,並希
期刊
北道
附信
问题
公信
经海
启程
数事
西伯利亚
疗病
民报社
鲁迅尊章炳麟为师而听他讲授《说文解字》等课是在一九○八或○九年的事。鲁迅从一九○八年四月起在'伍舍'住了十来个月,然后迁至'丙字十九号',并于一九○九
期刊
回国
报社
讲授
丙字
学生
我国图们江地区开发的动态趋向及其图形演示
文章以图文结合的方式演示了我国图们江地区开发的动态趋向,揭示了该地区在未来开发过程中作为国际物流中心及交通枢纽的作用,以及地区产业开发的空间过程,进而提出了未来地
期刊
图们江地区开发
动态趋向
图形演示
Exploitation of Tumen River
Dynamic Trend
Figure Illustratio
我与木刻
使我对木刻发生了兴味,是在初中二年级那一年——一九三二年。那时上海现代书局出版的《现代》杂志中附了一辑《现代中国木刻选》。初,我以为那里的强烈的黑白对比的线
期刊
杂志
上海
中国
书局
木刻
兴味
民权保障会宣言 驳斥顾祝同之答辩
苏省府主席顾祝同枪决镇江江声日报记者刘煜生案,现已引起全中国各界之极大反感、上海方面、自孙夫人宋庆龄蔡元培及新闻记者公会等一致开会讨论后,对于本案之进行更积极、本
期刊
民权
本埠
社评
镇江
生案
结果
省府
主席
江声
与本文相关的学术论文