可除BR0代数及其消去律性质

摘要：

在对BR0代数及可换BR0代数的概念和性质进行了充分研究的基础上,进一步弱化可换BR0代数中的可换性条件,减去格的有界性(「)运算及其正则性、逆否律等相关要求,提出了可除BR0代数的概念并对其基本性质进行了初步探究,证明了可除BR0代数与可换BR0代数的等价性;最后进一步探索了可除BR代数的性质并证明了其中关于蕴涵算子的消去律性质.

关键词：BR0代数、可换BR0代数、可除BR0代数、消去律

所属期刊栏目：38

分类号：O141.1(数理逻辑、数学基础)

资助基金：国家自然科学基金资助项目61572016;中央高校基本科研业务费专项基金资助项目GK201501001

在线出版日期：2018-06-01（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：27-33