论文部分内容阅读
首先给出了Godel非算子的一个重要性质：一个模糊逻辑系统中的非是Godel非的充要条件是如果x＊y=0，则xy=0。然后，基于Godel非算子分别提出了逻辑系统MTL和BL的新的模式扩张系统GNMTL和GNBL。GNMTL（GNBL）是基于一类左连续t-模（连续t-模）（都包含乘积t-模及Godelt-模）的模糊逻辑的共同形式化；最后，分别给出了著名逻辑系统God与Ⅱ分别作为GNMTL和GNBL的模式扩张形式，同时给出了Godel逻辑系统的几种等价形式。