摘要
将基于R0-蕴涵算子按确定集分类的方法推广到Godel系统中,在Godel系统中引入确定集的概念,并按不同确定集对Godel系统中的公式集F(S)进行分类,得到F(S)在Godel系统中的一个24类分划.证明这种划分关于┐是同余的.
The R0-implieit operator-based partition method of validation was generalized into Godel system. By means of introduction of the concept of validation set in Godel system, the propositional formula set F（s） was partitioned into twenty-four classes and it was proved that this partition was congruent about negation.
出处
《兰州理工大学学报》
CAS
北大核心
2009年第6期138-140,共3页
Journal of Lanzhou University of Technology
基金
国家自然科学基金(60874029)
