模糊蕴涵算子在模糊逻辑和近似推理中发挥重要作用，诸多模糊系统由该类算子定义模糊规则。此外，模糊蕴涵算子还被广泛应用于模糊关系方程及模糊数学的其他领域。　　 正是因为模糊蕴涵算子的重要性，目前许多学者试图将经典逻辑中的重言式推广到模糊逻辑框架下，从理论和实际应用考虑，定义新的模糊蕴涵并且研究其诸多性质。目前文献中给出了若干不同类型的模糊蕴涵算子，其中比较重要的为R-、S-、QL-和D-蕴涵，这些算子均由三角模、三角余模和模糊否定等逻辑算子定义。关于R-及S-蕴涵，目前已有较丰实的研究成果，而对QL-和D-蕴涵的研究工作甚少。基于此，本文拟对QL-蕴涵和D-蕴涵进行研究，讨论其满足分配性方程的条件等问题，并将有关结论推广至一致模，得出由一致模生成的QL-蕴涵和D-蕴涵的若干性质。全文主要内容如下：　　 第一章，介绍模糊蕴涵的研究背景及意义，对QL-蕴涵和D-蕴涵目前的研究现状进行综述，并且回顾相关模糊逻辑联结词（模糊否定、三角模、三角余模、模糊蕴涵）的概念及性质。　　 第二章，首先回顾QL-蕴涵和D-蕴涵的定义及性质，接下来讨论QL-算子和D-算子构成蕴涵的必要条件和充分条件。对QL-蕴涵和D-蕴涵，研究其若干性质，得出以下主要结论：　　 1．由三角模T、三角余模S以及连续的模糊否定N生成的QL-蕴涵（D-蕴涵）满足置换性( EP)当且仅当QL-蕴涵（D-蕴涵）是一个由N生成的S-蕴涵。该结论将文献中要求N为强否定的条件减弱为一般否定。　　 2．采用新的方法证明了由三角模T、连续的三角余模S=(SL)φ及强否定Nφ生成的QL-蕴涵（D-蕴涵）满足换置位对称性(CPN)当且仅当T=TFλ。　　 第三章，研究含有QL-蕴涵和D-蕴涵的四类分配性方程。得出由三角模、三角余模及模糊否定生成的QL-蕴涵（D-蕴涵）满足分配性方程的充要条件，其中模糊否定是严格的或连续的模糊否定，该条件减弱了现有文献中强否定的要求。　　 第四章，对由一致模生成的QL-算子和D-算子构成模糊蕴涵的条件进行讨论，并研究由一致模导出的QL-和D-蕴涵所满足的若干性质。得出以下结论：由合取一致模Uc、三角余模S及连续的模糊否定N生成的QL-蕴涵（D-蕴涵）满足置换性( EP)的必要条件是Uc是一个三角模。