Ro-命题逻辑系统相关硕士博士期刊学术论文

将真度定义的均值表示形式推广到n值Ro-命题逻辑系统Ln^＊中,给出了系统Ln^＊中真度定义的等价形式,并利用该等价形式简化了真度的若干......