命题公式集F(S)在Godel系统中的一个24类分划

作者：张花荣^*

来源：兰州理工大学学报, 2009, (06): 138-140.

DOI：10.13295/j.cnki.jlut.2009.06.008

• 分划
• Godel系统
• 确定集
• 封闭类

将基于R0-蕴涵算子按确定集分类的方法推广到Godel系统中,在Godel系统中引入确定集的概念,并按不同确定集对Godel系统中的公式集F(S)进行分类,得到F(S)在Godel系统中的一个24类分划.证明这种划分关于┐是同余的.

• 出版日期2009-12-15
• 单位中国计量大学