摘要：首先讨论广义泛代数理论，引入变维运算和广义型的概念，并进而给出了广义泛代数的定义．随后，给出模糊模态命题逻辑的概念，并定义了模糊模态命题运算．最后，以泛代数理论为基础给出MW系统的定义，并讨论了相应系统中广义重言式的性质及其分类，证明了系统MW只有三种广义重言式．

关键词：模糊逻辑 模糊模态命题逻辑 广义重言式 

单位：北京师范大学数学科学学院; 北京100875; 华北电力大学北京数理学院; 北京102206