Godel系统相关论文
以Godel系统为背景,针对由单个或两个原子生成的公式,解决了公式的真度分布问题.得到任一由单个或两个原子生成的公式的真度必为0,......
将基于R0-蕴涵算子按确定集分类的方法推广到Godel系统中,在Godel系统中引入确定集的概念,并按不同确定集对Godel系统中的公式集F(S)进......