- 一种度量结构在四种逻辑代数上的共性被引量：2
- 2014年
- 对MV逻辑代数、Godel逻辑代数、乘积逻辑代数、R0逻辑代数在度量方面的性质进行了进一步研究。首先根据四种逻辑代数的共同性质,在它们的单位区间[0,1]中建立了一种逻辑度量结构:其次对度量结构在四种逻辑代数中的共有性质进行了讨论,并分别在四种逻辑代数中给出了这种度量结构的具体形式;最后证明了四种逻辑代数中的基本运算关于度量结构的连续性。
- 吴洪博谢晶晶
- 关键词：模糊逻辑逻辑代数蕴涵算子逻辑度量空间连续性
- 基于剩余格的一类度量空间及性质被引量：3
- 2012年
- 给出剩余格上存在度量的一个充分条件及由该条件决定的该类剩余格上的度量结构,讨论了该度量结构下该类剩余格中的聚点问题,并证明了剩余格的基本运算在度量空间中的连续性.
- 周建仁谢晶晶吴洪博
- 关键词：模糊逻辑逻辑代数蕴涵算子剩余格度量空间连续性
- 关于命题逻辑系统中相似度性质的修正被引量：1
- 2013年
- 通过对计量逻辑的再研究,发现对计量逻辑中公式间相似度,逻辑距离的理解方面存在着一些偏差,并且造成这些偏差存在的根源是对公式间相似度性质理解的偏差。本文的目标是通过构造实例说明这些偏差的存在性并对这些偏差给予修正。本文的结果将有助于对计量逻辑中公式间的相似度,逻辑距离等概念更加深入,正确的理解。
- 周建仁谢晶晶吴洪博
- 关键词：模糊逻辑真度相似度反例
