模态R_0代数的模态滤子

Authors：段景瑶

Source：兰州理工大学学报, 2013, (01): 151-155.

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

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

• Institution
  宝鸡文理学院; 陕西师范大学