关于择优蕴涵的悖论

被引：1

作者：

程晓春

姜云飞

不详

机构：

[1] 吉林大学计算机系

来源：

计算机研究与发展 | 1997年 / 02期

关键词：

择优蕴涵，非单调逻辑，次协调逻辑，蕴涵悖论，TABLEAU方法;

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

本文基于对蕴涵悖论的讨论，分析了已有非单调逻辑、次协调逻辑中择优蕴涵的合理性，发现由于这些择优蕴涵对结论缺少限制，从而不可避免地有蕴涵悖论．本文通过合理地增加对结论的限制，定义了没有一般的蕴涵悖论的、非单调的、次协调的择优蕴涵，并给出这种择优蕴涵在命题情形基于ＴＡＢＬＥＡＵ演算的可靠而且完备的判定方法

引用

页码：4 / 9

页数：6