论文部分内容阅读
探讨BR0代数中不可交换的t模。研究了王国俊教授的《非经典数理逻辑》中剩余格部分，结合吴洪博教授所提出的BR0代数，从t模角度切入，限制t模的交换条件。在BR0代数基础上得到了一类更具有一般意义的弱BR0代数，给出了它的性质及等价刻画；并且证明了弱BR0代数类形成一个代数簇，即等式代数簇。提出了一类新的逻辑代数一弱BR0代数，为深入研究BR0代数奠定基础。