作　　者： ; ;

机构地区： 吉林大学计算机科学与技术学院

出　　处： 《计算机研究与发展》 1997年第2期81-86,共6页

摘　　要： 本文基于对蕴涵悖论的讨论，分析了已有非单调逻辑、次协调逻辑中择优蕴涵的合理性，发现由于这些择优蕴涵对结论缺少限制，从而不可避免地有蕴涵悖论．本文通过合理地增加对结论的限制，定义了没有一般的蕴涵悖论的、非单调的、次协调的择优蕴涵。 Based on the discussion of implicational paradoxes,this paper analyzes the rationality of some preferential implications in nonmonotonic logic and paraconsistent logic.A new preferential implication,which is nonmonotonic,paraconsistent and without the general implicational paradoxes,is proposed by adding necessary restrictions on the consequent.The sound and complete decision TABLEAU of such implication is presented.

关 键 词： 优蕴涵 非单调逻辑 次协调逻辑 蕴涵悖论

领　　域： [理学] [理学]