Convergency theory in quantitative logic

doi:10.3778/j.issn.1002-8331.2009.30.002

Computer Engineering and Applications ›› 2009, Vol. 45 ›› Issue (30): 4-5.DOI: 10.3778/j.issn.1002-8331.2009.30.002

• 博士论坛 • Previous Articles Next Articles

Convergency theory in quantitative logic

HAN Bang-he^1，2，LI Yong-ming^1，3

1.College of Mathematics and Information Science，Shaanxi Normal University，Xi’an 710062，China
2.School of Science，Xidian University，Xi’an 710126，China
3.College of Computer Science，Shaanxi Normal University，Xi’an 710062，China

Received:2009-06-22 Revised:2009-08-28 Online:2009-10-21 Published:2009-10-21
Contact: HAN Bang-he

计量逻辑学中的收敛理论

韩邦合^1，2，李永明^1，3

1.陕西师范大学数学与信息科学学院，西安 710062
2.西安电子科技大学理学院数科系，西安 710126
3.陕西师范大学计算机科学学院，西安 710062

通讯作者: 韩邦合

Abstract

Abstract: 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.

Key words: truth degree, similarity degree, pseudo-metric, distance convergency, valuational convergency, net convergency, quantitative logic, quantitative logic

摘要： 初步给出了计量逻辑学中的收敛理论。提出了逻辑度量空间中的度量收敛，赋值收敛和网收敛概念，对它们做出刻画并初步论证了它们之间的关系。

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

CLC Number:

O141.1

HAN Bang-he^1，2，LI Yong-ming^1，3. Convergency theory in quantitative logic[J]. Computer Engineering and Applications, 2009, 45(30): 4-5.

韩邦合^1，2，李永明^1，3. 计量逻辑学中的收敛理论[J]. 计算机工程与应用, 2009, 45(30): 4-5.

[1]	QIN Xiaoyan. Quasi-Truth Degree of First-Order Formula After Using Generalization Rule [J]. Computer Engineering and Applications, 2019, 55(6): 39-41.
[2]	LI Xiuqing, ZHANG Chaoquan. Randomized consistency degree in logic theory [J]. Computer Engineering and Applications, 2018, 54(3): 46-49.
[3]	WANG Yongyong, HUI Xiaojing. Average truth degree of Gödel[n]-valued propositional logic system with[Δ]operator [J]. Computer Engineering and Applications, 2018, 54(19): 68-71.
[4]	WANG Jinying, WANG Yanping, QI Shuang. Improved rough intuitionistic fuzzy sets [J]. Computer Engineering and Applications, 2018, 54(11): 41-45.
[5]	ZHU Naidiao, HUI Xiaojing, GAO Xiaoli, GAO Jiao. Theory of truth degree in Gödel [n]-valued propositional logic system [J]. Computer Engineering and Applications, 2017, 53(11): 67-72.
[6]	LI Yan. Generalization of fundamental theorem of probability logic and its applications [J]. Computer Engineering and Applications, 2017, 53(1): 54-56.
[7]	ZHANG Chaoquan, LI Xiuqing. Distribution of randomized divergence degree of theory in 3-valued propositional logical system [J]. Computer Engineering and Applications, 2017, 53(1): 69-72.
[8]	LI Xiuqing. ξ-conditional opening degree in n-valued propositional logic system [J]. Computer Engineering and Applications, 2016, 52(8): 25-28.
[9]	WEI Haixin. Consistency degree of theory in n-valued Lukasiewicz propositional logic system [J]. Computer Engineering and Applications, 2016, 52(5): 33-35.
[10]	LI Jun, LI Xiaobing. Average truth degree and deviation of theory in Lukasiewicz logical system [J]. Computer Engineering and Applications, 2016, 52(4): 42-45.
[11]	MENG Di, LI Jun. Convergence of sequence of formulas in n-valued propositional logic [J]. Computer Engineering and Applications, 2016, 52(22): 55-58.
[12]	YUAN Kaifeng. Distribution of randomized divergence degree in 2-valued propositional logic system [J]. Computer Engineering and Applications, 2016, 52(12): 49-52.
[13]	MA Qiaoyun. [ΣΓ]-fuzzy truth degree of some special formulas in logic system [L?n] [J]. Computer Engineering and Applications, 2016, 52(11): 34-37.
[14]	MA Qiaoyun1, WU Hongbo2. Boole function representation of pseudo-metric among many-valued formula [J]. Computer Engineering and Applications, 2015, 51(23): 38-41.
[15]	LI Xiuqing. Randomized truth degree and inference rules of proposition formulas [J]. Computer Engineering and Applications, 2015, 51(19): 66-70.

Convergency theory in quantitative logic

计量逻辑学中的收敛理论

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics