伪t-模与蕴涵算子:L-关系方程

文章研究Sup-T型L-关系方程和Inf-αr型L-关系方程解的结构，其中L是完备Brouwer格，T是L上无穷并分配伪t-模，αr是L上由T诱导的无穷交分配蕴涵。     

完备格上的拟t-模与蕴涵算子

引入并讨论完备格L上的拟t-模与剩余蕴涵的概念，研究了L上拟t-模与剩余蕴涵之间的关系，给出求一个已知拟t-模或剩余蕴涵的剩余算子的方法，并指出[0，1]上的两类基本蕴涵和Yager蕴涵都是可以由[0，1]上的拟t-模诱导的剩余蕴涵．     

L-关系方程T(a,x)=b与方程Ⅰ(a,x)=b 有解的充要条件

进一步讨论方程T(a,x)=b与方程Ⅰ(a,x)=b的解的结构,得到了它们的解集,且得到了它们有解的充分必要条件,并利用方程T(a,x)=b与方程Ⅰ(a,x)=b的解集研究方程T((a1,a2),(x1,x2))=(b1,b2)以及方程I((a1,a2),(x1,x2))=(b1,b2)的解结构与与解集.还指出文献[1]中一个基本定理的错误.其中L为完备Brouwer格,T为无穷V-分配伪t-模,I是无穷∧-分配蕴涵算子.     

伪t-模与L-关系方程的解集

研究了sup T类与inf I类方程的解结构 ,并在特定条件下分别给出了它们的解集 ,其中L为完备Brouwer格 .T为无穷∨ 分配伪t 模 ,I是无穷∧ 分配蕴涵算子 ,I =I(T) .     

模糊关系与模糊关系方程

利用伪t-模定义模糊关系的Sup-T合成和Inf-I合成,讨论这两种合成的一些性质,进而研究模糊关系方程P  T Q=S和P  I R=S解的结构,这里T是[0, 1]上无穷∨-分配伪t-模,I是[0, 1]上由T诱导无穷∧-分配蕴涵, P和S是已知的模糊关系, Q和R是未知的模糊关系.     

伪t—模与蕴涵的直积分解

本文研究伪t-模与蕴涵的直积分解，解决Baets和Mesiar提出一个未解决的问题，并证明([0,1]^2,≤)上连续t-模都可以表示成([0,1],≤)上两上连续t-模的直积。     

L-关系方程T(a,x)=b,I(a,x)=b的解集

讨论方程T（a,x)=b,I(a,x)=b的解集，其中L为完备Brouwer格，T为无穷∨-分配伪t-模，I是无穷∧-分配蕴涵算子，且I=I（T）。     

L-关系方程T（a，x）=b与方程I（a，x）=b有解的充要条件

进一步讨论方程T(a，x)=b与方程I(a，x)=b的解的结构，得到了它们的解集，且得到了它们有解的充分必要条件，并利用方程T(a，x)=b与方程I(a，x)=b的解集研究方程丁((a1，a2)，(x1，x2))=(b1，b2)以及方程I((a1，a2)，(x1，x2))=(b1，b2)的解结构与与解集．还指出文献[1]中一个基本定理的错误．其中L为完备Brouwer格，T为无穷V一分配伪t=模，I是无穷∧一分配蕴涵算子．     

完备格上的拟-t-模及蕴涵算子的直积和直积分解

进一步讨论完备格上的拟t-模与剩余蕴涵算子,研究了它们的直积与直积分解,最终得到了直积分解的充要条件,解决了一个关于模与蕴涵算子的直积分解问题.     

R-蕴涵与(S,N)-蕴涵等价关系的研究

当(T,S,N)为德摩根三元组时,分别在T为连续t-模和左连续t-模条件下讨论了R-蕴涵与(S,N)-蕴涵之间的等价关系,得到了二者等价的若干定理.同时,基于蕴涵自身所满足的性质,给出了二者等价的一个充分条件.得到的结论一方面有助于更好地理解两类模糊蕴涵之间的关系,另一方面为模糊蕴涵的应用提供了必要的理论基础.