欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
将修正的Kleene逻辑系统中语义MP规则推广后应用于Hα逻辑系统中，讨论了Hα逻辑系统中广义重言式理论的语义（[α]-MP）规则，语义（[α＋]-MP）规则，使得对Hα系统中的广义语义MP规则有了更进一步的认识。另外，逻辑系统W中的广义语义MP规则也成为一个特例。
英文摘要：
The generalized semantic MP rule in the revised Kleene logic system has been applied to Hα logic system.The properties of semantic （[a]- MP） rule, semantic （[a＋]- MP） rule of generalized tautologies in Hα logic system have been dis- cussed deeply. In addition, generalized semantic MP rule of the w in the logic system is the special example of this text.
同期刊论文项目
同项目期刊论文
期刊信息
位置：