Boole function representation of pseudo-metric among many-valued formula

Computer Engineering and Applications ›› 2015, Vol. 51 ›› Issue (23): 38-41.

Previous Articles Next Articles

Boole function representation of pseudo-metric among many-valued formula

MA Qiaoyun1, WU Hongbo2

1.College of Mathematics and Computer Engineering, Xi’an Arts and Science University, Xi’an 710065, China
2.College of Mathematics and Information Science, Shaanxi Normal University, Xi’an 710062, China

Online:2015-12-01 Published:2015-12-14

多值逻辑公式间的伪距离的Boole函数表示

马巧云1，吴洪博2

1.西安文理学院数学与计算机工程学院，西安 710065
2.陕西师范大学数学与信息科学学院，西安 710062

Abstract

Abstract: The Boole function of formula is given in logic system, the truth degree of n-ary and m-valued formula and pseudo-metric among n-ary and m-valued formulas are defined, It is explained that the definitions of truth degree and pseudo-metric are equivalent to the original probability definition. Some simple properties of pseudo-metric among formulas are obtained.

Key words: logic system, Boole functions, truth degree, pseudo-metric

摘要： 利用逻辑公式的Boole函数表示，给出了[m]元[n]值逻辑公式的真度和公式间伪距离的等价定义，说明了这种定义与原有的概率形式的定义等价，得到了公式间的伪距离的一些简单性质。

关键词: 逻辑系统, Boole函数, 真度, 伪距离

MA Qiaoyun1, WU Hongbo2. Boole function representation of pseudo-metric among many-valued formula[J]. Computer Engineering and Applications, 2015, 51(23): 38-41.

马巧云1，吴洪博2. 多值逻辑公式间的伪距离的Boole函数表示[J]. 计算机工程与应用, 2015, 51(23): 38-41.

[1]	YUAN Shunjie, CHENG Hui, YE Zhencheng, CHENG Peixin. Application of SOM-T2 FLS in Stock Market Forecasting [J]. Computer Engineering and Applications, 2020, 56(7): 130-136.
[2]	QIN Xiaoyan. Quasi-Truth Degree of First-Order Formula After Using Generalization Rule [J]. Computer Engineering and Applications, 2019, 55(6): 39-41.
[3]	RONG Yuyin, XU Luoshan. Inverse Theorems of Generalized Deduction Theorems in Logic Systems L* and BL* [J]. Computer Engineering and Applications, 2019, 55(1): 47-49.
[4]	LI Xiuqing, ZHANG Chaoquan. Randomized consistency degree in logic theory [J]. Computer Engineering and Applications, 2018, 54(3): 46-49.
[5]	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.
[6]	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.
[7]	LI Yan. Generalization of fundamental theorem of probability logic and its applications [J]. Computer Engineering and Applications, 2017, 53(1): 54-56.
[8]	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.
[9]	LI Xiuqing. ξ-conditional opening degree in n-valued propositional logic system [J]. Computer Engineering and Applications, 2016, 52(8): 25-28.
[10]	WEI Haixin. Consistency degree of theory in n-valued Lukasiewicz propositional logic system [J]. Computer Engineering and Applications, 2016, 52(5): 33-35.
[11]	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.
[12]	MENG Di, LI Jun. Convergence of sequence of formulas in n-valued propositional logic [J]. Computer Engineering and Applications, 2016, 52(22): 55-58.
[13]	YUAN Kaifeng. Distribution of randomized divergence degree in 2-valued propositional logic system [J]. Computer Engineering and Applications, 2016, 52(12): 49-52.
[14]	MA Qiaoyun. [ΣΓ]-fuzzy truth degree of some special formulas in logic system [L?n] [J]. Computer Engineering and Applications, 2016, 52(11): 34-37.
[15]	LI Shunqin, HUI Xiaojing. Theory of generalized tautology based on subalgebras of Gainse-Rescher system [J]. Computer Engineering and Applications, 2015, 51(19): 53-55.

Boole function representation of pseudo-metric among many-valued formula

多值逻辑公式间的伪距离的Boole函数表示

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics