模糊蕴涵是模糊逻辑中的一类重要运算，它是经典逻辑中蕴涵的推广，在模糊控制、专家系统以及模糊系统模型等方面都有十分重要的应用．模糊蕴涵的广泛应用引起了人们对它的密切关注，由此在理论方面对它做了大量研究．然而，人们对模糊蕴涵的对偶算子-模糊余蕴涵，却少有研究．在现有文献中，大多只给出了模糊余蕴涵的相关定义，对其性质并没有系统的研究工作.基于此，本文对模糊余蕴涵的一些性质，特别是它的输入法则，进行相关研究．主要工作分为以下三部分：　　 第一章介绍模糊余蕴涵的研究背景及意义，引出模糊余蕴涵的概念以及它与模糊蕴涵的关系，简要回顾模糊余蕴涵的研究现状，并简述本文的主要工作.　　 第二章借助于三角模T、三角余模S及补运算N，讨论几种模糊余蕴涵：JT,N-，JS-和JT,S,N-模糊余蕴涵，研究其相关性质，如互换性、换置位对称性及左单位元性质等．基于这些性质对这几类模糊余蕴涵的输入法则(简记为LI)做相应研究，得到如下结论：(1)设JT,N是由[0，1]上的三角模T和补运算N生成的模糊余蕴涵，则JT,N关于某三角余模S满足(LI)当且仅当S是T的N-对偶．(2)设JS是由[0，1]上的三角余模S生成的模糊余蕴涵，则JS关于某三角余模S1满足(LI)当且仅当S=S1.(3)设JT,S,N是由[0，1]上的三角模T、三角余模S及补运算N生成的模糊余蕴涵，若JT,S,N关于某三角余模S1满足(LI)，则S是Sλ的φ共轭．　　 第三章在前两章的基础上，将基于三角模和三角余模的情形推广到一致模.首先回顾一致模的概念及性质，讨论几类特殊的一致模，如可表示一致模、幂等一致模及Umax一致模的相关性质．在此基础上，对这几类一致模对应的模糊余蕴涵的输入法则做相应研究，得到如下结论：　　 (1)设JUc，N是由[0，1]上的合取一致模Uc和补运算N生成的(U，N)-模糊余蕴涵，则JUc，N关于某析取一致模Ud满足(LI)当且仅当Ud是Uc的N-对偶．　　 (2)设JU是由[0,1]上的一致模U生成的(R，U)-模糊余蕴涵，则JU关于某析取一致模Ud满足(LI)当且仅当Ud=U．　　 (3)设JU是由[0，1]上的幂等一致模U生成的模糊余蕴涵，则JU关于某析取一致模Ud满足(LI)当且仅当Ud是幂等一致模，且ed=e，gd=g．其中ed，e分别是U和Ud的单位元，gd，g分别是[0，1]上不动点为ed和e的减函数．　　 (4)设JU是由[0，1]上的Umax一致模U生成的模糊余蕴涵，则JU关于某析取一致模Ud满足(LI)当且仅当Ud=U．　　 (5)设JU是由[0，1]上的可表示一致模U生成的模糊余蕴涵，则JU关于某析取一致模Ud满足输入法则当且仅当Ud是析取可表示一致模.　　 全文创新点如下：　　 (1)基于[0，1]上的三角模T、三角余模S及补运算N定义了一类新的模糊余运算：JT,S,N模糊余运算．　　 (2)对模糊余蕴涵的输入法则进行研究，给出它们满足输入法则时所需的条件.