论文部分内容阅读
本文主要研究了满足函数方程I(x，I(x,y(x,I(x,y)=I（x，y）的连续D-蕴涵算子和由一致模生成的R-,S-,QL-蕴涵，同时基于它们给出了上述函数方程的解的刻画.
第一章，主要回顾了三角模、三角余模、模糊蕴涵的定义和相关性质，叙述了三角模、三角余模的分类及其结构，特别阐述了连续三角模、三角余模与其相关算子间的关系，最后回忆了几类常见模糊蕴涵算子的定义和其基本性质。
第二章，首先引入了一致模的概念，同时给出了一致模常见的分类及其结构，并回顾了由一致模生成蕴涵.
第三章，首先研究满足满足布尔迭代相像律函数方程I(x，I(x,y(x,I(x,y)=I（x，y)(1)（其中I为模糊蕴涵算子）的连续D-蕴涵算子，其中D-蕴涵算子是由连续的三角模T，三角余模S和强否定N所生成的.我们根据D-蕴涵算子的定义，基于连续三角模T和连续三角余模S的所有可能的组合，对I(x，I(x,y(x,I(x,y)=I（x，y）进行了研究，并且对满足该函数方程的连续D-蕴涵算子进行了完全刻画.以此同时，我们把所得结论与参考文献[39]的相应结论进行了对比，最后在常见的一致模和由一致模生成的R-，S-及QL-蕴涵的基础上，对函数方程(1)进行了完全刻画.