论文部分内容阅读
通过对B R0-代数无序表示形式的再研究，利用逻辑代数中交、并运算对偶的特点以及对偶范畴的思想，从经典代数的角度出发于一般集合上建立了一种对称形式的BR0-代数-DBR0-代数。证明了DBR0-代数是BR0-代数的又一新的无序表示形式，它将BR0-代数中的序关系蕴涵于基本运算·和→之中。根据DBR0-代数的形式提出了一种弱化的BR0-代数-LBR0-代数，并证明了LBR0-代数与正则FI代数是同一代数结构。