L—fuzzy集上的一种点式距离函数

本文以fuzzy格L~X上的并既约元作为“点”,给出了满足基本公理的“点”之间的距离函数d,建立了L~X上的p.q(p.)距离函数和[1—2]给出的fuzzy p.q(p.)度量p的相关邻域映射之间的一一对应关系,证明了p.q(p.)距离函数d恰是L~X上的fuzzyp.q(p.)度量p在J(L~X)×J(L~X)上的限制。     

直觉相似关系和直觉模糊子群

研究集合S上的变换群的直觉模糊子群和S上的直觉相似关系之间的密切联系,证明了S上的变换群的任一直觉模糊子群可确定S上的一个直觉相似关系,反之,S上的任一个直觉相似关系可确定S上的变换群的一个直觉模糊子群.同时研究了直觉相似关系和伪度量之间的联系.利用这个联系进一步研究了直觉模糊子群和伪度量之间的联系,即由S上的变换群的直觉模糊子群可确定一个超伪度量,反之,由一个超伪度量可确定S上的变换群的直觉模糊子群.     

构形和拟阵的同构映射及关于超可解的几个性质

给出了中心超平面构形相交半序集及与其对应的简单拟阵平坦格的同构映射的对应关系,证明了这个映射若限制在模元组成的集合上,也是同构映射,且给出相交半序集和平坦格的模元秩函数之间的关系。另外,还讨论了关于超可解的几个性质。     

L-半格的正则性

将格作用在半格上得到L-半格的概念,研究了具有最大元的格作用在半格上得到L-半格的正则性。同时,得到了正则性、投射性、忠实性之间的关系。     

伪轨跟踪和唯一遍历

讨论了紧致度量空间上的连续满射ｆ具有伪轨跟踪性质与ｆ是唯一遍历之间的关系。     

半对称度量联络的一些性质

讨论了黎曼流形上半对称度量联络与黎曼联络张量之间的关系,令半对称度量联络的特征张量和黎曼联络的度量张量成比例,则张量之间的关系简化,进而得到了一些新的性质。     

n值R0-命题逻辑系统L*n中公式的矛盾度理论

将n值R0-命题逻辑系统Ln^＊中的矛盾式概念程度化，引入了矛盾度的概念，并且讨论了公式的矛盾度的若干重要性质，进而用矛盾度定义了公式之间的差异度函数p＇,证明了p’是一个伪度量，从而在F（S）上建立了逻辑度量空间（F（S），p’）。     

非对称度量空间中的上收敛性

研究非对称度量空间的收敛性。提出了非对称度量空间的上、下极限概念，解决了非对称度量空间上收敛性的基本问题，得出了上极限，下极限，子序列极限之间的关系及上闲集、上柯西序列、上完备集的有关结果，证明了Hausdorff半距离空间是上完备的非对称度量空间。     

关于半格的几个结果

一个半格可以定义为一个泛代数，也可以定义为一个偏序集．本文中，我们证明了作为泛代数的半格的定义与作为偏序集的半格的定义是等价的．为了刻划半格的两种不同定义间的关系，我们建立了两个等式．此外，我们建立了一个充分必要条件．这一充分必要条件反映了两个半格之间的同构与这两个半格的理想格之间的关系．     

Δ—伪度量族与Menger概率度量空间

引进了Δ－伪度量族概念,研究了Ｍｅｎｇｅｒ概率度量空间与Δ－伪度量族生成空间的关系,证明了每个Ｍｅｎｇｅｒ概率度量空间（Ｅ,Ｆ,Δ）都可由Ｅ上的一个Δ－伪度量族｛ｄλ｝λ∈（０,１）所确定．     

切触伪度量流形的特征向量场

设M2n+1为切触伪度量流形,ξ为M2n+1的特征向量场,主要研究切触伪度量流形的ξ-截曲率.当ξ为共形Killing向量场时,给出了M2n+1为K-切触流形的充要条件.     

完全单半群上同余的另一个刻画

在完全单半群的幂等元集E（S）上构建正规等价T与核子集K,证明了K与τ的相容性,以及正规子群之间的蕴含关系,迹类与正规子群格之间的同构,核类与幂等元集E（S）上的正规等价格同构．     

逻辑系统L~＊中公式的随机真度

在赋值格为[0,1]的模糊逻辑系统L＊中,利用序结构和赋值集的随机化方法提出了公式的随机真度,引入公式间的随机相似度和伪距离,导出随机真度和伪距离的若干性质,证明了随机逻辑度量空间中逻辑运算的连续性,拓宽了随机真度的近似推理理论的研究思路.     

模糊命题逻辑L*中公式的条件随机真度

在赋值格为[0,1]的模糊逻辑系统L*中,基于条件概率的思想和赋值集的随机化方法提出了公式的条件随机真度,证明了条件随机真度的MP规则和HS规则。引入公式间的条件随机相似度和条件伪距离,建立了条件随机逻辑度量空间,推导出条件伪距离的若干性质,证明了条件随机逻辑度量空间中逻辑运算的连续性,并初步研究了给定条件下的近似推理理论。     

LF赋准范线性空间及若干性质

本文给出了LF赋准范线性空间的定义 ,并研究了一些性质 ,证明了LF赋准范线性空间是伪度量空间。     

值乘积命题逻辑中命题的α-真度理论

利用均匀概率空间的无穷乘积,在n值乘积逻辑系统中引入命题的α-真度概念.给出了一般推理规则,利用命题的α-真度定义了命题间的α-相似度,进而导出命题集上的伪距离,使得在n值命题逻辑系统中展开近似推理成为可能.     

伪度量族与一致结构格集的关系及格集之并的性质

给出非空集X的伪度量族P为格集的一个充分必要条件,构造使P不为格集的反例,并讨论由格集之并所生成的一致结构的性质.     

二值命题逻辑系统中公式的语构真度理论

从语构的角度给出公式的真度的形式化定义,并由语构真度诱导出相似度和伪距离,给出相似度和伪距离的基本性质,讨论了语构真度在推理中的应用。     

三值逻辑系统G3中的随机化研究

利用赋值集的随机化方法,在三值逻辑G3中提出了公式的随机真度,证明了所有公式的随机真度之集在［0,1］中没有孤立点;给出了两公式间的DG3-相似度与伪距离的概念,并建立了DG3-逻辑度量空间,证明了此空间没有孤立点。     

伪距离空间中一些广义压缩型映象的不动点

本文在完备的伪距离空间中,讨论了具两种广义压缩型条件的可换双映象对的公共严格周期点和不动点的问题,得到两个主要定理.在此基础上,还讨论了三种类型的映象列的严格周期点和不动点问题,相应地得到六个推论.