计量逻辑学中的收敛理论  

Convergency theory in quantitative logic

作　　者：韩邦合[1,2] 李永明[1,3] 

机构地区：[1]陕西师范大学数学与信息科学学院,西安710062 [2]西安电子科技大学理学院数科系,西安710126 [3]陕西师范大学计算机科学学院,西安710062

出　　处：《计算机工程与应用》2009年第30期4-5,12,共3页Computer Engineering and Applications

基　　金：博士学科点专项基金(No.20080718000)

摘　　要：初步给出了计量逻辑学中的收敛理论。提出了逻辑度量空间中的度量收敛,赋值收敛和网收敛概念,对它们做出刻画并初步论证了它们之间的关系。The convergency theory of quantitative logic is given.The concepts of convergency and strong convergencyin logic metric spaces are presented.Characterizations and the relations of the two conceptsdistance are proved.

关 键 词：真度 相似度 伪度量 度量收敛 赋值收敛 网收敛 计量逻辑学 近似推理 

分 类 号：O141.1[理学—数学]