摘要
以R0-Lindenbaum代数为背景,提出了较蕴涵格稍强的R0代数概念,在讨论了其基本性质的基础上给出了R0代数的两个等价系统,并从商代数的角度研究了Ro代数的基本结构.
Based on R0 - Lindenbaum algebras, R0 - algebras, which are slightly stronger than implication lattice algebras, are proposed in this paper. After the discussion on their basic properties, two equivalent structural theorems of R0 - algebras are developed. Moreover, from the standpoint of quotient algebras, the basic structures of R0 - algebras are particularly investigated.
出处
《数学物理学报(A辑)》
CSCD
北大核心
1999年第S1期584-588,共5页
Acta Mathematica Scientia
关键词
Ro代数
等价系统
同余关系
商代数
R0 - algebra, Equivalent system, Congruent relation, Quotient algebra.