针对Mamdani蕴含算子不支持经典逻辑的问题,采用与一型模糊逻辑系统类似的研究方法,讨论了基于Kleene-Dienes、Lukasiewicz、Zadeh和Reichenbach蕴含算子的二型模糊推理模型,分别给出了这四个二型模糊推理模型最终模糊集的隶属函数表达式。研究结果表明,这四个二型模糊推理模型及其算法具有一般经典逻辑的共同属性,比Mamdani二型模糊推理模型更自然。研究结论突破了已有的框架,有助于二型模糊逻辑系统的进一步研究。