关于正则蕴涵算子

目的研究可与三角模构成伴随的蕴涵算子，即正则蕴涵算子。方法非经典数理逻辑的语义理论。结果对正则蕴涵算子的定义进行了简化，进而介绍了一种生成正则蕴涵算子的方法，最后就某些具有特殊性质的正则算子进行了研究，得到了相应的函数特征。结论正则蕴涵算子对于建立完备的逻辑系统至关重要。     

一类正规蕴涵及其导出算子

通过对一些蕴涵算子性质的的研究得出:伴随对是三角模的蕴涵算子一定是正规蕴涵;若正规蕴涵的伴随对是三角模则其导出算子是其自身;正则蕴涵算子的导出算子是其自身.这些结论对建立多值逻辑的语义理论有重要的应用.     

基于正则蕴涵算子的约束度分析

采用正则蕴涵算子进行探讨,提出三I算法的约束度理论,并给出 -三I FMP上确界与 -三I FMT下确界的计算公式。     

蕴涵算子族及其构造

给出了蕴涵算子族的定义,将蕴涵算子的性质进一步推广,给出了蕴涵算子族的16条常用性质.基于含参数的三角模和余三角模构造了42种蕴涵算子族.验证了所构造的蕴涵算子族是否满足16条常用性质,揭示了它们与几个重要蕴涵算子族之间的关系.     

基于正则蕴涵算子的支持度分析

在模糊推理中用到比较多的蕴涵算子都是正则蕴涵算子,具有许多良好的性质。本文讨论了基于正则蕴涵算子的三I方法的支持度理论。     

基于正则蕴涵算子与强否定的支持度理论

研究了基于正则蕴涵算子的支持度理论,将模糊推理的全蕴涵三Ⅰ算法推广至一般情形.针对几个常用的正则蕴涵算子得到如下结果:(1)Lukasiewicz逻辑系统L中命题间的支持度之集恰为[0,1]中有理数的全体[0,1]∩ Q;(2)G(o)del逻辑系统(G-)和(x*)逻辑系统(W-)中命题间的支持度之集均为{0,12,1};(3)乘积逻辑系统P中命题间的支持度之集为{0,1};(4)考察了相应的n值逻辑系统Ln,Gn和Wn中命题间的支持度的分布.最后,将逻辑非运算改为强否定,通过建立逻辑系统之间的同构进一步考察了相应逻辑系统中的支持度的分布.     

基于正则蕴涵算子的三I算法

给出了基于常见正则蕴涵算子的三I算法的计算公式,并考虑算法的还原性.     

基于正则蕴涵算子的三I算法的性质

基于正则蕴涵算子分析了三I算法的连续性与逼近性问题,指出在模糊连续输入的条件下,RL、RG、RΠ型三I算法均具有连续性与逼近性,并指出了R0型三I算法具有连续性与逼近性的条件是x∈X,A*(x)∧A(x)>1/2成立.     

基于正则蕴涵算子的三Ⅰ算法的性质

基于正则蕴涵算子分析了三Ⅰ算法的连续性与逼近性问题，指出在模糊连续输入的条件下，RL、RG、RⅡ型三Ⅰ算法均具有连续性与逼近性，并指出了R0型三Ⅰ算法具有连续性与逼近性的条件是↓Ax∈X，A^＊（x）∧A（x）〉1/2成立。     

基于正则蕴涵算子的a-三Ⅰ算法

给出了基于正则蕴涵算子的a-三I算法的计算公式,并考虑算法的还原性。     

Norm continuity for t>0 of linear operator families

Some criteria of norm continuity fort > 0 of linear operator families in Hilbert spaces are given.     

一类基于R0蕴涵算子的模糊概念格

目的建立一类模糊概念格。方法基于对一类模糊Galois联络和蕴涵算子的分析,选用R0蕴涵算子在0.5<δ<1.0的情况下建立一类模糊概念格。结果随着δ取值的减小,相应的模糊概念的个数也会变少,其对应的格结构也会变得更为简单。结论与人们对概念的直观理解相一致。     

形式三角矩阵环的reduced性和正则性

设T=A0M B是形式三角矩阵环,则T是reduced环,Von Neumann正则环,强正则环及弱正则环,当且仅当A,B是reduced环,Von Neumann正则环,强正则环及弱正则环,且M=0.     

赋β-范线性空间上的齐性算子性质初探

证明了赋β－范空间上的有界齐性算子与在零点连续的齐性算子等价；对两个赋β－范空间X和Y之间的有界性算子全体B（X，Y），按引入的算子范数及线性运算，在X具有共轭分离性时，B（X，Y）为赋β－范线性空间；指出B（X，Y）完备与Y守备是等价的，只要X具有共轭分离性，这些推广了赋范空间上的关于有界线性算子已有的结论。