DBR0-代数及其弱化形式LBR0-代数的性质 (2013年)

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