摘要
将修正的Kleene逻辑系统中语义HS规则推广后应用于Hα逻辑系统中,讨论了Hα逻辑系统中广义重言式理论的语义[α]-HS、[α+]-HS等规则,使得对Hα系统中的广义语义HS规则有了更进一步的认识.
The generalized semantic HS rule in the revised Kleene logic system has been applied toHα logic system. The properties of semantic （ [α] -HS） rule, （ [α ＋ -MP] ） rule of generalized tautologies inH logic system have been discussed deeply. This leads to a further understanding of the generalized semantic HS rule of Hα logic system.
出处
《西安文理学院学报（自然科学版）》
2010年第2期16-19,共4页
Journal of Xi’an University(Natural Science Edition)
