模态R_0代数的模态滤子

在模态R0代数中引入生成模态滤子的概念.证明模态R0代数中全体模态滤子之集可构成有界分配格.得到生成模态滤子为真滤子的条件.

模态R0代数模态滤子有界分配格有限平方交性质 modal R0 algebra modal filter bounded distributive lattice finite square intersection property