非交换BR0代数的剩余格表示

摘要：

为了使非可换逻辑代数NBR0具有剩余格结构,提出两种剩余格结构NRL和CNRL,建立NBR0代数的NRL和CNRL表示.最后讨论了CNRL上的λ结构和γ结构,得到NBR0代数的表现定理.

关键词：剩余格、NRL、CNRL、非交换BR0代数、左(右)伴随

所属期刊栏目：25

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

资助基金：国家自然科学基金资助项目10871121;陕西师范大学重点科研基金资助项目995130

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

页数：共7页

页码：18-24