MTL-代数上的广义赋值

本文研究了MTL-代数上的几类广义赋值,讨论了MTL-代数上广义赋值、态以及滤子之间的关系,获得了MTL-代数上广义赋值成为(正)关联广义赋值的等价刻画,并基于广义赋值构造的同余关系研究了MTL-代数的商结构.所得结果推广了基于三角模的模糊逻辑代数上广义赋值的相关理论,进一步丰富了基于三角模的模糊逻辑代数上概率测度的代数结论.     

弱MTL-代数上的几种演绎系统及其商代数

首先,本文讨论了弱MTL-代数的性质,并给出弱MTL-代数的等价刻画;其次,将蕴涵演绎系统的概念引入到弱MTL-代数中,并研究了演绎系统与蕴涵演绎系统的关系,且给出蕴涵演绎系统的几个等价条件;最后,讨论了弱MTL-代数中的演绎系统和同余关系之间的相互决定的关系,并证明了在弱MTL-代数中一个蕴涵演绎系统是素的当且仅当由其诱导的商代数是全序的弱MTL-代数。     

MTL-代数的演绎系统和余零化子及其相互关系

首先,在MTL-代数中给出了演绎系统的定义;其次,提出了MTL-代数余零化子的概念,并研究了它们的一些基本性质;最后,讨论了MTL-代数中余零化子与演绎系统的关系,证明了MTL-代数的演绎系统A的余零化子A⊥是素的演绎系统的充要条件:A是线性的且A≠{1}。     

MV-代数的Fuzzy拓扑表现定理

以ΩM记MV-代数M到MV-单位区间[0,1]的全体Lukasiewicz赋值之集．本文证明了格完备的MV-代数是正则的,从而可通过一种自然的方法在ΩM上引入fuzzy拓扑δ,建立了MV-代数的fuzzy拓扑表现定理,并给出了fuzzy拓扑δ的一些性质．     

具有交换幂零根基的完备Lie代数

本文讨论了具有交换幂零根基的完备Lie代数的性质,并且利用复半单Lie代数的表示构造了这类完备Lie代数。这类完备Lie代数不一定是现在已经知道的半单Lie代数的抛物子代数。     

LFI代数的性质及其与剩余格的关系

讨论LFI代数的性质．也讨论具有可嵌入性的LFI代数的性质；还给出了定义在完备格上的LFI代数成为剩余格的充要条件。     

完备Leibniz代数的性质及其低维分类

本文研究了完备Leibniz代数的性质及低维分类.利用Leibniz代数中平方元生成的双边理想,获得了小于五维的完备Leibniz代数完整的分类,以及五维时一类特殊情况下完备Leibniz代数的分类,从而推广了Leibniz代数的结构理论.     

FI代数的区间值模糊软滤子

运用区间值模糊软集研究FI代数的滤子问题,引入了FI代数的区间值模糊软滤子概念,给出了它的若干代数性质。定义了区间值模糊软FI-同态(同构)概念,证明了FI代数的一个区间值模糊软滤子在区间值模糊软FI-同构(同态)下的像(原像)仍为区间值模糊软滤子的结论。     

基于完备BR0-代数的全蕴涵三I算法

研究了基础$BR_0$-代数的性质和基于完备基础$BR_0$-代数的全蕴涵三I算法,对一般蕴涵算子给出了三I算法解存在的一个充分条件,并将结果应用于$R_0$-单位区间$\overline{W}$,不但极大的简化了$R_0$-单位区间$\overline{W}$的$R_0$-型$\alpha$-三I算法结果的证明,而且使其证明过程与相应的模糊命题演算系统结合起来,说明了$R_0$-型三I算法是与$B{\cal L}^*$系统相匹配的模糊推理方法.     

Riesz代数上的d-模(英文)

本文引入了Riesz代数上d-模的概念.利用正算子理论讨论了可交换的Riesz代数上的d-模的二次共轭空间的d-模结构,并且研究了由格同态算子或区间保持算子产生的主理想上的特殊d-模.     

JW代数的Lyapunov定理 *

设M是JW代数 ,Q是M的单位圆的面或正面 ,Ψ是从Q到Cⁿ 的仿射映射 .证明了JW代数上的Lyapunov定理 :任给Q中的元x ,存在Q的端点e,使得当M是Ⅱ或Ⅲ型JW代数时 ,Ψ(e) =Ψ(x) ,当M是Ⅰ型JW代数时 ,Ψ(e) -Ψ (x)的范数小于某个固定常数.     

基于完备IMTL代数的L模糊粗糙集

IMTL代数是一类重要的非经典逻辑代数,基于IMTL代数的L模糊粗糙集可以刻画信息系统中具有不完备性、模糊性与不可比较性的信息.本文讨论了基于完备IMTL代数的L模糊粗糙集的表示定理,还讨论了此种L模糊粗糙集的上下近似算子的性质以及近似算子的公理化定义方法.     

有界Heyting代数的⊕运算与模糊LI理想

对有界Heyting代数的模糊LI理想问题作进一步深入研究.首先,在有界Heyting代数上定义了⊕运算并讨论其运算性质.其次,借助运算⊕获得了模糊LI理想的若干等价刻画.最后,获得了由一个有界Heyting代数的全体模糊LI理想之集构成的完备Heyting代数中蕴涵算子的表示定理.     

关于模糊数空间的上确界度量化问题

讨论了模糊数空间的上确界度量化问题,指出了已有上确界度量,即一致Hausdorff度量的不足。利用区间数和模糊数的关系,给出了模糊数空间上的一种新的上确界度量,即EW-型上确界度量,并通过实例验证了其有效性和合理性。讨论了EW-型上确界度量的相关性质,并证明了EW-型上确界度量同样使模糊数空间成为完备的度量空间。     

BL代数的(∈,∈∨q)-模糊滤子格

对BL代数的(∈,∈∨q)-模糊滤子理论作进一步深入研究。给出了(∈,∈∨q)-模糊滤子的若干新性质。建立了由BL代数上的一个模糊集生成的(∈,∈∨q)-模糊滤子的表示定理。证明了BL代数的全体(∈,∈∨q)-模糊滤子之集在偏序匚下构成一个完备的分配格。     

BL-代数的区间值犹豫模糊理想

将区间值犹豫模糊集应用于BL-代数的理想理论中,初步建立BL-代数的区间值犹豫模糊理想理论。首先,引入了区间值犹豫模糊理想的概念,并研究它的基本性质。其次,定义了三种特殊的区间值犹豫模糊理想:区间值犹豫模糊蕴涵理想、区间值犹豫模糊Boolean理想和区间值犹豫模糊Godel理想,研究它们间的一些关系。最后,给出了区间值犹豫模糊蕴涵理想、区间值犹豫模糊Boolean理想及区间值犹豫模糊Godel理想的一些等价刻画。     

MV-代数上的度量结构及其在多值逻辑中的应用

设M是一个MV-代数,Ω是从MV-代数M到MV-单位区间的全体赋值之集,μ是Ω上的概率测度.本文基于μ在M中引入了元素的尺寸和元素对之间的相似度概念,并由此在M上建立了度量结构.给出了MV-代数上的度量结构在多值逻辑中的一些应用.     

关于BL代数的(∈,∈∨q)-模糊滤子

基于模糊集合包含序■,对BL代数的(∈,∈∨q)-模糊滤子理论作进一步深入研究。给出了由BL代数上一个模糊集生成的(∈,∈∨q)-模糊滤子的定义及其生成方法。证明了一个给定BL代数L的(∈,∈∨q)-模糊滤子全体之集IFil(L)关于■构成一个完备分配格。     

区间值模糊集之间一种新距离的完备性

定义区间值模糊集之间的一种新距离d*∞,讨论了这种距离的基本性质,并证明区间值模糊数的距离空间(IΦ*(R),d*∞)是完备的,但它却是不可分的。     

关于BCI逻辑的一种偏序代数

通常,人们认为Kiyoshi Iséki在20世纪60年代引入的BCI-代数是组合逻辑中BCI逻辑的代数对等物。然而这种广为人知的断言却是有问题的,因为BCI逻辑关于BCI代数是不完备的。在本文中,我们引入一种称为MPE的偏序代数。在MPE中的每个不等式对应BCI逻辑中的一个重言式且反之亦然,从而MPE代数是与BCI逻辑完备的代数类。