关于正则蕴涵算子

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

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

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

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

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

正则蕴涵算子分析性质的研究

针对正则蕴涵算子，从分析学的角度研究了其连续性,得到了正则蕴涵算子是连续函数的充要条件是当x≥y时，满足（x→y）→y=x；仅在（0，0）间断函数的充要条件是当x≥y，y≠0时，（x→y）→y=x，而对任意x∈（0，1），（x→0）→0≠x，同时研究了与这些蕴涵算子相伴随的三角模。     

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

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

基于蕴涵算子上的模糊强正则子半群

文中给出R-模糊强正则子半群的定义,讨论了其与模糊强正则子半群的关系,证明在一定条件下有限个R-模糊强正则子半群的交(并)还是R-模糊强正则子半群,R-模糊强正则子半群的同态像(原像)仍是R-模糊强正则子半群。     

正则FI-代数上的伴随算子

研究了正则FI 代数的性质,并证明了对于正则FI 代数(L,→,0)的蕴涵算子→,存在惟一满足条件(a b)→c=a→(b→c)的算子 ,使得( ,→)成为伴随对.所得结果在一定程度上反映了正则剩余格内部结构的特征.     

基于9种常用蕴涵算子上的模糊强正则子半群

在前期工作基础上,利用不等式的刻画方法,给出9种常用的R-蕴涵算子下的R-模糊强正则子半群9种等价形式,推广了现有相应模糊代数的结果,丰富了模糊代数的理论成果。     

完备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-模诱导的剩余蕴涵．     

模糊蕴涵算子与伴随对的若干注记

给出一种已知模糊蕴涵算子构造新模糊蕴涵算子的方法.讨论伴随对定义及其等价条件,改进伴随对存在的一个充分条件.特别地,利用36个模糊蕴涵算子构造36个新的模糊算子,并讨论新模糊算子与原模糊蕴涵算子间的关系;进一步,分析36个模糊算子对,给出若干常用伴随对.     

蕴涵算子族及其构造

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

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

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

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

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

基于正则蕴涵算子的反向三Ⅰ算法

讨论了基于常见正则蕴涵算子的反向三Ⅰ算法,给出了计算公式.     

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

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

基于析取统一模的S蕴涵的研究

讨论了基于析取统一模的S蕴涵的若干性质,并在此基础上给出了它的2种等价刻画.最后研究了基于2种特殊析取统一模(幂等统一模、表现统一模)的S蕴涵.     

关于Lukasiewicz系统中强蕴涵算子构造的若干结果

首先证明了Lukasiewicz系统中的公式┐x^m＋y^n，┐mx＋ny，┐x^m＋ny，┐mx＋y^n是强蕴涵算子，接着指出任意两个Lukasiewicz强蕴涵算子的合取和析取都是强蕴涵算子，最后对构造Lukasiewicz强蕴涵算子的问题提出了几点看法。     

含参量蕴涵算子及其性质

给出一类含参量蕴涵算子,它将常见的三种蕴涵算子Lukasiewicz算子、R0算子及Godel算子包含其中,此外,还讨论了该类蕴涵算子的性质。     

模糊蕴涵算子及其构造(Ⅱ)--模糊蕴涵算子的伴随对及其圈乘算子

验证了15个有可能存在伴随对的模糊蕴涵算子的保存在交性质,结果表明它们都满足保存在交性质.求出了这15个模糊蕴涵算子的伴随对,得到了14个模糊蕴涵算子.给出了一种构造模糊蕴涵算子的方法,并求出了在这种构造方法下,由46个模糊蕴涵算子构造得到的模糊蕴涵算子及这46个模糊蕴涵算子的圈乘算子,共构造出89个模糊蕴涵算子.