A concept of generating modal filter was introduced into the modal R0 algebra. It was proved that the set of total modal filters in modal R0 algebra could form the bounded distributive lattice, so that the conditions were obtained that the modal generating filter would be the proper filter.%在模态R0代数中引入生成模态滤子的概念.证明模态R0代数中全体模态滤子之集可构成有界分配格.得到生成模态滤子为真滤子的条件.
展开▼