伪t-模与蕴涵的直积分解(英文)

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

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

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

基于左连续伪T-模的非可换模糊逻辑系统PUL＊

对P.Hájek建立的模糊逻辑系统psMTL进行了扩充,基于一般左连续伪T-模提出了非可换模糊逻辑系统PUL＊,证明了它的可靠性定理.同时,以PUL＊系统的Lindenbaum代数结构为背景引入PUL＊.代数概念,建立了相应的滤子理论,得到PUL＊-代数的正规素滤子定理,借此证明了PUL＊系统的完备性.

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

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

完备Brouwer格上伪t-模与蕴涵算子的注记(I)(英文)

进一步研究完备Brouwer格上伪t-模和蕴涵算子,讨论完备Brouwer格上伪t-模和蕴涵算子的直积分解。

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

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

伪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-关系方程(英文)

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

完备格Brouwer上伪t-模与蕴涵算子的注记(II)(英文)

进一步研究完备Brouwer格上伪t-模与蕴涵算子,给出同二元算子生成的伪t-模与蕴涵算子的计算公式。

关于《完备Brouwer格上伪t-模与蕴涵算子》的注记(英文)

举例说明关于伪t-模与蕴涵算子的文献[FSS 132(2002)113]中定理4.1是错误的,此定理还被接连用到[FSS 139(2003)673]及其它文献。本文进而给出此基础性定理成立的一个必要条件。注意,该必要条件是不能由无穷∨-分配伪t-模与无穷∧-分配蕴涵算子的定义引出的。

完备Brouwerian格上t-模及其广义逆算子的性质

讨论t 模T及其逆算子αT的性质,在 T合成、 αT合成关系矩阵的性质方面做了深入的讨论,得出了许多重要关系式,并对伪t 模及其逆算子作了进一步的分析,最后举例说明t 模和伪t 模的不同之处.

完备Brouwer格上伪t—模与蕴涵算子

本文引入并讨论Brouwer格L上伪t-模概念,详细研究L上无穷V-分配伪t-模与无穷∧-分配蕴涵之间的关系,证明[0,1]上三类基本的Fuzzy蕴涵与Yager蕴涵都是[0,1]上无穷V-分配伪t-模诱导的蕴涵.此外,我们给出一种生成伪t-模与蕴涵的方法.

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

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

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

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

伪T模的直积与L-关系方程解集

利用方程T(a,x)=b与方程I(a,x)=b的解集研究方程T((a1,a2),(x1,x2))=(b1,b2)以及方程I((a1,a2),(x1,x2))=(b1,b2)的解结构.

模糊关系与模糊关系方程

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

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的解集研究方程T((a1,a2),(x1,x2))=(b1,b2)以及方程I((a1,a2),(x1,x2))=(b1,b2)的解结构与与解集.还指出文献[1]中一个基本定理的错误.其中L为完备Brouwer格,T为无穷∨-分配伪t 模,I是无穷∧-分配蕴涵算子.

一类L-关系方程有解的充要条件

讨论基于拟t-模的方程T(a,x)=b与方程I(a,x)=b的解的结构,得到了它们的解集以及它们有解的充分必要条件,并利用方程T(a,x)=b与方程I(a,x)=b的解集,研究方程T((a1,a2),(x1,x2))=(b1,b2)以及方程I((a1,a2),(x1,x2))=(b1,b2)的解结构与解集.其中L为完备Brouwer格,T为拟t-模,I是蕴涵算子.

广义单侧剩余广群(英文)

对吴氏左(右)剩余广群,给出一种新而且简化的定义,并详细地讨论其基本性质。用其主要结论得到完备格上的所有无穷∨-分配强伪t-模与所有无穷∧-分配强蕴涵算子之间的关系。

非可换模糊逻辑系统PL~*及其完备性

首先建立了非可换R0 t-模，以此为语义背景将模糊逻辑形式系统L^＊拓广到非可磬情形，提出了新的模糊逻辑形式系统PL^＊，证明了系统PL^＊的可靠性定理．其次，引入PL^＊-代数及其滤子概念，得到PL^＊-代数的正规素滤子定理，借此证明了PL^＊系统的完备性．最后说明了PR0 t-模及PL^＊系统可能的应用方向．