DFI代数的距离函数及其性质

考虑分配的Fuzzy蕴涵代数(DFI代数).首先将距离函数的概念引入到DFI代数中,得到了DFI代数中距离函数的一些基本性质,并给出了在某些特殊的DFI代数(如全序DFI代数)上距离函数的特殊性质;其次,在DFI代数中引入一个新运算,得到了DFI代数距离函数的等价定义和性质;最后,根据所引进的距离函数建立相应的距离空间,并给出了一些性质.