10.3778/j.issn.1002-8331.2010.22.018
逻辑系统Hα中广义语义MP规则证明的改进
将修正的Kleene逻辑系统中语义MP规则推广后应用于Hα逻辑系统中,讨论了Hα逻辑系统中广义重言式理论的语义([α]-MP)规则,语义([α+]-MP)规则,使得对Hα系统中的广义语义MP规则有了更进一步的认识.另外,逻辑系统W中的广义语义MP规则也成为一个特例.
模糊逻辑、Hα逻辑系统、广义重言式、广义语义MP规则
O141.1(数理逻辑、数学基础)
国家自然科学基金the National Natural Science Foundation of China under Grant 10871121;西安文理学院中青年科研基金kyc201040
2010-11-30(万方平台首次上网日期,不代表论文的发表时间)
共3页
52-53,87