G(o^)del逻辑系统中广义语义HS规划和广义语义MP规则

摘要：

将修正的Kleene逻辑系统中语义MP规则和语义HS规则推广后应用于G(o^)del逻辑系统中,讨论了G(o^)del逻辑系统中广义重言式理论的语义([α]-MP)规则,语义([α]-HS)规则,语义([α+]-MP)规则,语义([α+]-HS)规则的性质,使得对G(o^)del系统中的广义重言式有了更进一步的认识,为G(o^)del逻辑系统的应用和研究提供一个有益的工具.

关键词：模糊逻辑、G(o^)del逻辑系统、广义重言式、广义语义MP规则、广义语义HS规则

所属期刊栏目：20

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

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

页数：共7页

页码：56-62