Godel逻辑系统相关论文
文章讨论了Godel逻辑系统中标准子代数E0上的广义矛盾式理论,给出标准子代数上可达0-重言式的一个分划,证明了在标准子代数E0中,重......
利用势为n的均匀概率空间的无穷乘积,在n值Godel逻辑系统中引入公式的α-矛盾度概念,从而将矛盾式的概念进行双重程度化,进而给出......