逻辑系统-↑W，W，Wk中的广义语义HS规则和广义语义MP规则

研究模糊命题演算的形式演绎系统L及在语义上相关的修正的Kleene逻辑系统-↑W，W，Wk，引入语义α]-MP规则，语义α^ ]-MP规则，语义α]-HS规则，语义α^ ]-HS规则等概念，并对这些规则的性质进行讨论，进一步加强该系统中的∑-(α-重言式)的相应结果，丰富该系统中∑-(α-重言式)的内容，为进一步研究该系统提供一个有益的工具。