德摩根一致代数的度量化

我们给出了德摩根一致代数可伪度量化的一个充分必要条件。     

模糊粒度空间的性质研究

在文献[16]基础上,进一步将模糊粒度空间推广到更一般地模糊等价关系上,研究了模糊粒度空间的性质,主要获得了3个结论.首先,引入了有序的等价关系集的概念,给出了下列的四个命题是等价的:(1) 给定一个模糊等价关系;(2) 给定一个等腰归一化伪距离;(3) 给定一个有序的粒度空间;(4) 给定一个有序的等价关系集.第二,通过模糊等价关系诱导的等腰归一化伪距离的投影距离和扩展距离,建立了模糊粒度空间上的距离,即是等腰归一化距离,并且给出了模糊粒度空间上距离度量的动态性质研究.最后,给出了模糊粒度空间与模糊等价关系之间的序关系,即它们的序是一致的.这些研究工作进一步完善了模糊粒度空间的理论,为模糊粒度计算提供了更为直观的数学理论和工具.     

标准序列逻辑系统S_3中公式的概率真度理论

利用势为3的非均匀概率空间的无穷乘积在三值标准序列逻辑系统中引入了公式的概率真度概念,证明了全体公式的概率真度值之集在[0,1]中没有孤立点;利用概率真度定义了概率相似度和伪距离,进而建立了概率逻辑度量空间,证明了该空间中没有孤立点,为三值命题的近似推理理论提供了一种可能的框架.     

R_0-代数上的距离结构及其在命题逻辑中的应用

设Ω是全体从R0-代数M到R0单位区间[0,1]的同态之集,μ是Ω上的一概率测度。引进M上的元素的尺寸和元素对间的相似度,然后在M上建立了伪距离。作为应用,将距离R0-代数理论应用到命题逻辑的近似推理理论。     

计量逻辑学中的近似推理

在多值逻辑系统中给出了计量逻辑学中单个公式到Γ结论集的距离公式,在此基础上,给出发散度的简化形式,讨论了计量逻辑学中三种近似推理模式之间的关系。     

关于Erceg伪度量与点式伪度量的一点注记

文[13]曾证明Erceg伪度量与史福贵提出的点式伪度量等价.本文指出[13]中的定理1是错误的,进而指出Erceg伪度量与点式伪度量是不等价的.     

四值非线性序集逻辑系统的随机化

利用赋值集的随机化方法,在四值非线性序集逻辑系统L24中提出了公式的随机真度和随机距离,建立了非线性序集逻辑系统上的随机逻辑度量空间.它是计量逻辑学和随机真度的相关理论在非线性序集逻辑系统上的推广.     

概率逻辑伪度量空间及其性质

论证有限多个公式的概率分布与生成它的原子公式集的概率分布之间的关系,然后把计量逻辑学与概率逻辑学相结合,提出了概率真度、概率逻辑伪度量空间(F(n),ρP);指出当取均匀概率分布时,概率真度就转化为计量逻辑学中的真度,同时两公式间的概率逻辑伪距离Pρ就转化为计量逻辑学中的伪距离ρ.从而在有限理论中建立了一种更具一般性的概率逻辑伪度量空间理论。     

模糊度量空间的一些结果

指出在Erceg's伪度量公理中(B3)条件对讨论它的诱导拓扑不是本质的.基于这个结果,给出它的两种诱导拓扑的关系.最后,在Erceg's伪度量集合上构造一个非平凡的一一映射.     

Some remarks on distances between fuzzy numbers

In this paper we consider different approaches to assigning distances between fuzzy numbers. A pseudo-metric on the set of fuzzy numbers arising from the idea of the value of a fuzzy number is described, and some of its topological properties are noted. Reducing functions are used to define a family of metrics on the space of fuzzy numbers; some convergent properties for these metrics are illustrated. Finally, a fuzzy distance between fuzzy numbers is introduced and its basic properties are studied.