Gdel系统相关论文
对经典逻辑中的公理在Gdel系统、Lukasiewicz以及R0系统中的真度大小进行了分析,得到了一系列深刻而有趣的结果。......
对Lukasiewicz逻辑系统中的公理在Gdel系统以及R0系统中的真度大小进行了分析,得到了有意义的结果:Lukasiewicz逻辑系统的某些公理......
以Goedel系统为背景,针对由单个或两个原子生成的公式,解决了公式的真度分布问题。得到任一由单个或两个原子生成的公式的真度必为......