修正的Kleene系统中的一种降级算法及其性质

摘要：

通过对模糊命题演算的形式演绎系统L*及修正的Kleene逻辑系统W,W,Wk的研究,给出了修正的Kleene系统中广义矛盾式之间的一种降级算法并讨论了它的性质和应用,最后在广义矛盾式理论中讨论了广义语义HS规则和广义语义MP规则,为进一步对修正的Kleene逻辑系统的研究提供一个有益的工具.

关键词：模糊逻辑、修正的Kleene系统、广义矛盾式、降级算法、广义语义C-MP规则、广义语义C-HS规则

所属期刊栏目：21

分类号：O141.1(数理逻辑、数学基础)

资助基金：陕西师范大学校科研和教改项目

在线出版日期：2004-08-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：537-542