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

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

原子布尔代数理论的计算复杂性

运用EhrenfeuchtGames理论给出原子布尔代数理论的一个判定过程及其复杂度，并说明这个过程在初等等价意义下是最优的．

原子Boolean格代数的导子

设是Banach空间X上的原子Boolean子空间格，δ是alg的任一导子，则存在X中的一个稠定线性算子T，使得δ（A）＝AT—TA（A∈alg）在T的定义域（T）上成立．另外，如果还是一个有限格，并且对的任一原子L，L＋L＇闭，则δ是连续的和内的．