摘要
运用泛函分析的方法和技巧考虑非经典数理逻辑问题,首先引入赋范Fuzzy蕴涵代数及蕴涵距离的概念,并给出它们的若干性质;其次对赋范Fuzzy蕴涵代数中的序列和蕴涵开(闭)球进行研究.证明了:①每一半径不小于球心范数的蕴涵开(闭)球都是MP滤子;②每个收敛序列都有唯一的极限;③每个收敛序列都是Cauchy列;④如果一个Cauchy列{xn}的某个子列收敛于点x,则该Cauchy列本身也收敛于点x.
This paper considers problems of non-classical mathematical logic using the methods and techniques in functional analysis. The notions of normed fuzzy implication algebras and implication distance are introduced and several properties of them are given. The properties of sequences and implication open （closed） balls in normed fuzzy implication algebras are studied. Main results are： ① every implication open （closed） ball with radius not less then the norm of the heart point is an MP-filter; ② every convergent sequence has unique limit; ③ every convergent sequence is a Cauchy sequence; ④ if a Cauchy sequence {xn} has a subsequence which converges to a point x, then {xn} converges to x too.
出处
《扬州大学学报（自然科学版）》
CAS
CSCD
北大核心
2009年第3期1-5,共5页
Journal of Yangzhou University：Natural Science Edition
基金
国家自然科学基金资助项目(10371106
60774073)
