[0,1]上连续二元算子的细度

改进了Yager定义的模糊蕴涵算子的*-度概念。引入连续二元算子的细度概念，并计算了14个连续二元算子的细度．证明了Lukasiewicz蕴涵是理想蕴涵，Reichenbach蕴涵不是理想蕴涵。     

完备格上的诱导算子

利用文献[2]中讨论完备格上蕴涵算子和拟t-模的诱导算子的思想方法,证明了蕴涵算子和拟t-模的2次T-诱导在一定条件下、一定范围内等于原拟t-模(或蕴涵算子),得到了两个不同诱导算子之间的关系及它们与L-关系方程解的联系.进一步表述了蕴涵算子和拟t-模的n次诱导算子序列的一些结论,并提出了一些有待解决的问题.     

模糊蕴涵算子的相等问题

在文献[1]中,S.Weber介绍了三类模糊蕴涵算子,据此,本文讨论了其前两种类型的模糊蕴涵算子及S-蕴涵算子三者之间的相等问题,并利用强DeMorgan三元组的性质,给出了两两相等的充要条件.     

直觉模糊逻辑非算子与蕴函算子的一些性质及证明

给出了直觉模糊逻辑非算子的定义，讨论了非算子的一些性质，提出了关于直觉蕴涵算子的两个重要定理，并给出了证明。     

一类格值蕴涵算子上的近似推理

在格值命题的逻辑推理下，给出了∨─∧格值蕴涵算子，并讨论了一些命题。本文在此基础上继续讨论一些性质，而且给出了基于这类格值蕴涵算子上的近似推理方法。     

直觉模糊逻辑非算子与蕴涵算子的一些性质及证明

给出了直觉模糊逻辑非算子的定义,讨论了非算子的一些性质。提出了关于直觉蕴涵算子的两个重要定理,并给出了证明     

模糊蕴涵算子的相等问题

在文献[1]中，S．Weber介绍了三类模糊蕴涵算子，据此，本文讨论丁其前两种类型的模糊蕴涵算子及S-蕴涵算子三者之间的相等问题，并利用强De Morgan三元组的性质，给出了两两相等的充要条件。     

基于模糊SD（TD）-QL蕴涵算子的一类布尔迭代律的刻画

模糊集是信息处理的有效方法之一,而模糊蕴涵算子是模糊集之间的一类重要的运算,在模糊信息处理中起着十分重要的作用。本文将给出蕴涵满足布尔迭代律的充要条件。     

模糊推理的3I FMT算法

3I FMT算法是针对模糊推理的一种推理算法．借助于一些具体的模糊蕴涵算子,在此给出各模糊蕴涵算子在FMT模型下的3I算法．     

模糊推理的3I FMT算法

3I FMT算法是针对模糊推理的一种推理算法．借助于一些具体的模糊蕴涵算子,在此给出各模糊蕴涵算子在FMT模型下的3I算法．     

基于新的蕴涵算子族的模糊推理三I算法

讨论了基于蕴涵算子族RP的模糊推理全蕴涵三Ⅰ算法与α-三Ⅰ算法理论,分别得到了FMP问题与FMT问题的三Ⅰ推理算法的计算公式,这将有助于提高模糊推理的灵活性,减少模糊推理产生的盲目性。     

伪t-模与L-关系方程

介绍了完备Brouwer格上的伪t-模与蕴涵算子的概念和一些重要结论。利用方程T(a,x)=b与方程I(a,x)=b解的相关结论讨论了sup-T类L-关系方程A(R)(y)=B(y)与inf-I类L-关系方程A<(R)(y)=B(y)解的结构,并在一定条件下分别得到了它们的解集。文中L为完备Brouwer格,T为无穷V-分配伪t-模,I是无穷∧-分配蕴涵算子,I=I(T),a,b,x∈L,A∈L~X和B∈L~Y是两个已知L-子集,R∈L~(X×Y)是未知L-关系。     

基于一族蕴涵算子的三Ⅰ算法

讨论了一族蕴涵算子的三Ⅰ支持度算法和约束度算法,得到了其相应的计算公式,指出这将有助于提高模糊推理方法选择的灵活性。     

完备格上伪t-模与蕴涵算子的限制和诱导

研究了完备格L上的伪t-模与其诱导的蕴涵之间的相互关系，得到了伪t-模在一定范围上的限制和其诱导的蕴涵在相应范围上的限制之间的联系，从而具体地表明了L上的伪t-模与其诱导的蕴涵之间的关系，并据此给出一个比较简便的求已知伪t-模或蕴涵诱导的剩余算子的方法．     

模糊蕴涵生成的序

模糊蕴涵作为经典(布尔)蕴涵在单位区间上的推广,是模糊逻辑中最重要的逻辑算子之一.在有界格上分别定义了由模糊蕴涵和一致模生成的一种新的偏序,并分析了二者之间的关系.针对不同的模糊蕴涵类:(U,N)-、QL-、f-、g-、h-蕴涵,分别讨论了其生成的偏序.     

完备格上的伪t-模与剩余蕴涵的直积和直积分解

讨论了完备格上的伪t-模与剩余蕴涵算子以及它们的直积与直积分解，给出了积格上伪t-模或蕴涵的偏单调性的定义以及正则伪t-模和正则蕴涵的定义，最终得到了积格上伪t-模或蕴涵可以直积分解的充分条件以及积格上正则伪t-模或正则蕴涵可以分解的充要条件，完全解决了De Baets提出的直积分解条件问题．     

Rough逻辑系统RSL与模糊逻辑系统Luk

基于rough集的偶序对<下近似,上近似)表示,通过改进基于rough集的逻辑系统(C)的方法引入新的rough蕴涵算子,研究了它的基本性质,并将其进一步拓广到一般正则双Stone代数中,证明了添加新蕴涵算子后的正则双Stone代数构成MV-代数.其次,以上述结果为背景,建立了一个基于rough蕴涵的逻辑形式系统RSL...     

对实质蕴涵若干问题的思考

以实质蕴涵和逻辑蕴涵为对象,通过对郁慕镛教授和袁正校教授的观点进行比较,对逻辑学里的一个非常重要的概念——蕴涵进行了分析和讨论,澄清关于实质蕴涵和逻辑蕴涵的若干误解。     

直觉模糊逻辑算子组的研究

在文献「１,２」对直觉模糊逻辑“非”、“与”、“或”“及”“蕴涵”算子进行了系统的研究基础上,本文将从代数观点来研究逻辑算子组（Ｄ,Ｔ,θ,ｈ）之间的同态关系。     

Rough逻辑系统RSL与模糊逻辑系统Luk

基于rough集的偶序对<下近似,上近似)表示,通过改进基于rough集的逻辑系统(C)的方法引入新的rough蕴涵算子,研究了它的基本性质,并将其进一步拓广到一般正则双Stone代数中,证明了添加新蕴涵算子后的正则双Stone代数构成MV-代数.其次,以上述结果为背景,建立了一个基于rough蕴涵的逻辑形式系统RSL,其语义是扩展的rough双Stone代数;同时,引入RSL-代数的概念,并证明了逻辑系统RSL的标准完备性定理(基于由近似空间确定的标准RSL-代数).最后,说明了逻辑系统RSL是著名模糊逻辑系统Luk(即Lukasiewicz连续值逻辑系统)的语义扩张,从而从一个特殊的视角揭示了rough集与模糊逻辑的联系.