基于幂零泛与运算模型的命题模糊逻辑

摘要：

本文讨论了泛与运算模型T(x,y,h)(h∈(0,0.75))的一些性质;证明了泛与运算模型T(x,y,h)(h∈(0,0.75))是一个幂零三角范数;而且泛与运算模型T(x,y,h)(h∈(0,0.75))与泛蕴涵运算模型I(x,y,h)(h∈(0,0.75))是一个伴随对;进一步证明了([0,1],V,Λ,*,→,0,1)作成一个MV-代数.给出了基于幂零泛与运算模型T(x,y,h)(h∈(0,0.75))的模糊命题演算系统PC(T),证明了此命题演算系统与Lukasiewicz逻辑命题演算系统是等价的.

关键词：泛与运算模型、泛蕴涵运算模型、幂零三角范数、剩余、伴随对

所属期刊栏目：31

分类号：TP3;O14

资助基金：国家自然科学基金60273087;北京市自然科学基金4032009

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

页数：共3页

页码：97-99