n值Lukasiewicz命题逻辑中命题的α-矛盾理论

基于均匀概率空间的无穷乘积,n值Lukasiewicz命题逻辑中引入α-矛盾理论,给出了一般矛盾推理规则;利用命题的α-矛盾度定义了命题间的α-差异度,进而导出命题集上的一种伪距离.

n值Gdel逻辑系统中广义矛盾式的计量化研究

利用势为n的均匀概率空间的无穷乘积,在n值Gdel逻辑系统中引入公式的α-矛盾度概念,从而将矛盾式的概念进行双重程度化,进而给出广义矛盾度的推理规则。