Heyting代数的布尔原子及其应用

利用Heyting代数的布尔元得到了Heyting代数的一种直积分解表示。基于Heyting代数的这种分解,证明了有限Heyting代数可通过依次替换布尔代数中的原子为Heyting代数而得到。该结论揭示了Heyting代数与布尔代数之间的一种新的关系。     

R_0代数中的布尔原子及其应用

介绍了将R_0代数的布尔原子替换为R_0代数的定义,给出了将布尔代数的原子依次替换为R_0代数得到有限的R_0代数的方法,从而进一步刻画了布尔代数与R_0代数之间的关系。