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

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

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