论文部分内容阅读
第一章,主要回顾了三角模、三角余模、一致模以及模糊蕴涵算子的定义和性质.叙述了三角模、三角余模的分类及其结构,特别阐述了连续三角模、三角余模与其相关算子间的关系,最后回忆了几类模糊蕴涵算子的定义及其基本性质.
第二章,证明了模糊蕴涵的收敛性与一致收敛性等价;借助所有的强否定刻画了任意连续蕴涵,特别地,发现S-蕴涵完全被定义域中对角线上的值所决定.此外,还给出了一种新的构造模糊蕴涵的方法.
第三章,利用可表示一致模的偏导数,获得了构造可表示一致模乘法生成子和加法生成子的两种方法.首先合取一致模的乘法生成子在0点有非零的导数;析取一致模的乘法生成子在1点有非零的导数.其次可表示一致模的加法生成子在[0,1]上有连续的导数.
第四章,我们研究了标准理论([0,1],T,S,N)中的运算律:S(S1(x,y),T(x,y))=s(x,y),其中,S、S1是连续的三角余模,T是连续的三角模.并给出解这类方程的一些方法.