逻辑系统MTL(BL)的新的模式扩张系统GNMTL(GNBL)

摘要：

首先给出了G(o)del非算子的一个重要性质:一个模糊逻辑系统中的非是G(o)del非的充要条件是如果x*y=0,则xy=0.然后,基于G(o)del非算子分别提出了逻辑系统MTL和BL的新的模式扩张系统GNMTL和GNBL.GNMTL(GNBL)是基于一类左连续t-模(连续t-模)(都包含乘积t-模及G(o)del t-模)的模糊逻辑的共同形式化;最后,分别给出了著名逻辑系统G(o)d与Ⅱ分剐作为GNMTL和GNBL 的模式扩张形式,同时给出了G(o)del逻辑系统的几种等价形式.

关键词：模糊逻辑、逻辑系统GNMTL、逻辑系统GNBL、G(o)del逻辑系统G(o)d、Product逻辑系统Ⅱ

所属期刊栏目：23

分类号：O141(数理逻辑、数学基础)

资助基金：山东省自然科学基金资助项目Y2003A01

在线出版日期：2009-05-15（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：6-11