研究模糊命题演算的形式演绎系统L*和Lukasiewicz命题演算系统Lu,提出基础系统L*--BL*系统,证明BL*系统的一种扩张与Lukasiewicz系......

对Lukasiewicz逻辑系统中的公理在G(o)del系统以及R0系统中的真度大小进行了分析,得到了有意义的结果:Lukasiewicz逻辑系统的某些......

分别对Lukasiewicz逻辑系统中的公理在R0系统和G(o)del系统中的真度大小、R0系统逻辑系统中的公理在Lukasiewicz系统和中G(o)del系......

对Lukasiewicz系统中的真度理论进行了进一步的研究。将n值Lukasiewicz系统中公式相对于有限理论的ΣΓ-真度理论与连续值Lukasiew......

对经典逻辑中的公理在Gdel系统、Lukasiewicz以及R0系统中的真度大小进行了分析,得到了一系列深刻而有趣的结果。......

对Lukasiewicz逻辑系统中的公理在Gdel系统以及R0系统中的真度大小进行了分析,得到了有意义的结果：Lukasiewicz逻辑系统的某些公理......

研究模糊命题演算的形式演绎系统J^*和Lukasiewicz命题演算系统Lu,提出基础系统J^*-BJ^*系统，证明BJ^*系统的一种扩张与Lukasiewicz......