非交换BR0代数相关论文
为了使非可换逻辑代数NBR0具有剩余格结构,提出两种剩余格结构NRL和CNRL,建立NBR0代数的NRL和CNRL表示.最后讨论了CNRL上的λ结构......
将非交换BR0代数形式化,从而简化它的定义,使其更具有逻辑代数的特征.利用逻辑代数与其命题演算系统之间存在的完备性思想,通过对......