论文部分内容阅读
悖论逻辑ＬＰ是超协调逻辑之一，ＬＰｍ是ＬＰ的非单调扩展。ＬＰｍ不仅克服了ＬＰ缺陷，而且在没在矛盾的直接影响下它等价于经典逻辑。该文描述了ＬＰＭＰＰＳ系统是一个使用表演算规则的ＬＰｍ命题证明系统。该系统具有正确和高效的特点，它解决了由于矛盾前提引起的平凡性问题。
基于表演算的LPm命题证明系统LPMPPS的设计与实现
【摘 要】
：
悖论逻辑ＬＰ是超协调逻辑之一，ＬＰｍ是ＬＰ的非单调扩展。ＬＰｍ不仅克服了ＬＰ缺陷，而且在没在矛盾的直接影响下它等价于经典逻辑。该文描述了ＬＰＭＰＰＳ系统是一个使用表演算规则的ＬＰｍ命题证明系统。该系统具有正
【机 构】
：
大学计算机科学研究所
【出 处】
：
第六届全国青年计算机工作者会议
【发表日期】
：
1996年期
其他文献
介绍了磷系共聚阻燃涤纶长丝的生产工艺,并对切片干燥、纺丝温度、纺丝速度、侧吹风及拉伸变形工艺进行了讨论,其织物的极限氧指数(LO1)达30℅以上,阻燃性能优良.
该文针对刚架结构提出了一种便于进行极限分析的弹簧模型。在此模型的基础上，利用常规弹塑性分析的初载荷法得到一组自平衡应力模态，它们与结构对外载的弹性响应一起构成应力模