模态代数的主同余

研究了布尔代数和模态代数的主同余,严格按照布尔代数和模态代数的主同余的定义,给出了布尔代数和模态代数的主同余刻画。

可交换模糊有限自动机的代数性质

研究了可交换模糊Mealy机的同态性质、可交换模糊Mealy机与其子模糊Mealy机的关系、可交换模糊Mealy机的覆盖关系。定义了可弱交换的模糊Mealy机,并将可交换的模糊Mealy机的性质推广到可弱交换的模糊Mealy机上。