论文部分内容阅读
将非交换BR0代数形式化,从而简化它的定义,使其更具有逻辑代数的特征.利用逻辑代数与其命题演算系统之间存在的完备性思想,通过对非交换BR0代数定义的进一步研究,得出与它相对应的形式系统NBL^*的公理,进而得到其上的[F]完备性和广义演绎定理成立,即NBL^*形式系统与非交换BR0代数之间具有一定的和谐性.