广义MP规则

提出了广义ＭＰ规则与集体广义ＭＰ规则，并在二值逻辑系统中通过引入根的概念给出与上述规则在语构意义下的解。以三Ⅰ方法为基础，在连续值逻辑系统φ中讨论了广义ＭＰ规则与集体ＭＰ规则的语构意义下的解。又分别在二值与Ｌｕｋａｓｉｅｗｉｃｚ三值系统中给出了上述问题在语义意义下的解。以上理论可视为模糊推理在经典逻辑学中的非模糊形式。