模糊蕴含算子同时为基于统一模的S蕴含和R蕴含的充要条件

对基于统一模的S蕴合算子和R蕴合算子进行了公理化刻划,并在此基础上得到了一个S蕴合算子和R蕴合算子具有相同表达式的充要条件．     

METRICS,PROBABILISTIC METRICS AND RANDOM METRICS

ＭＥＴＲＩＣＳ，ＰＲＯＢＡＢＩＬＩＳＴＩＣＭＥＴＲＩＣＳＡＮＤＲＡＮＤＯＭＭＥＴＲＩＣＳＧＵＯＴｉｅｘｉｎ（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓ，ＸｉａｍｅｎＵｎｉｖｅｒｓｉｔｙ，ＦｕｊｉａｎＸｉａｍｅｎ３６１００５，Ｃｈｉｎａ）Ａｂｓｔｒ...     

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

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

K-M Fuzzy度量空间中一类更广泛的不动点定理

提出并证明了Ｋ－Ｍ Ｆｕｚｚｙ度量空间中另一类更广泛的不动点定理。     

一类严格t－范数及其性质研究

本文研究了由所给出的一类严格ｔ－范数，并研究了其有关的性质。     

非阿基米德概率2—距离空间中可换映象的公共不动点

本文引入(C)_g 型非阿基来德概率2-距离空间的概念,讨论了可换映象的公共不动点在存在性。本文所得结果是引文其他作者的主要结果在(C)_g 型非阿基米德概率2-距离空间中的推广。     

Ω同态,T同余L关系和Ω-TL子群

利用完备Brouwer格L上的无穷V 分配t 模T,引入并讨论Ω群上T同余L关系概念,然后在其基础上研究Ω群上T同余L关系的同态性质,最后讨论Ω群上T同余L关系与正规Ω TL子群的一些关系.     

模糊论辩框架哥德尔语义的数值特征

模糊论辩框架的哥德尔语义体系涵盖几种基本的外延语义,却未对各外延语义的性质展开进一步研究。这为该语义系统的计算和快速识别带来一定的困难。文章通过对各外延语义的数值特征的深入研究,为上述问题提供一定的解决方案。借助于哥德尔三角模的基本性质,逐一推导哥德尔语义体系中无冲突集、可容许外延、完全外延、优选外延(稳定外延)和基外延的数值特征,并在无圈、奇数圈和偶数圈的模糊辩论框架中分别给出基外延的算法。这些结论是对该语义体系的理论推广;同时,绕过定义直接依据数值判定外延语义的方法,以及从空集计算基外延的算法,是对该语义体系在算法和快速识别方面的发展。     

Menger PM-空间中多值映射列的公共不动点定理

利用新的技巧,证明了Menger PM-空间中多值映射列的一个新的公共不动点定理.改进并推广了张石生等的相应结果.