WBR0-代数的Pt-模和Ps-模表示

摘要：

三角模和蕴涵算子是逻辑代数中的一对相互关联的基本算子，而WBR0-代数是仅以蕴涵算子为基本算子定义于一般集合上的逻辑代数。对WBR0-代数进行了再研究。给出了WBR0-代数的Pt-模（偏序集上的t-模）的表现形式；在偏序集上通过 Pt-模结合蕴涵算子给出了WBR0-代数的表示形式；证明了WBR0-代数原始定义中的二元运算?是WBR0-代数的Ps-模（偏序集上的s-模）。结果对进一步探讨WBR0-代数及其相关的逻辑代数有积极的参考价值。

关键词：逻辑代数、WBR0-代数、偏序集、Pt-模、Ps-模

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

资助基金：国家自然科学基金No.11171196。

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

页数：共4页

页码：49-52