Stochastic study in ternary logic system Π3

doi:10.3778/j.issn.1002-8331.2010.14.010

Computer Engineering and Applications ›› 2010, Vol. 46 ›› Issue (14): 34-38.DOI: 10.3778/j.issn.1002-8331.2010.14.010

• 研究、探讨 • Previous Articles Next Articles

Stochastic study in ternary logic system Π₃

TU Gui-jing，ZHANG Xing-fang，LI Cheng-yun，LI You-yu

School of Mathematics Science，Liaocheng University，Liaocheng，Shandong 252059，China

Received:2008-11-04 Revised:2009-02-24 Online:2010-05-11 Published:2010-05-11
Contact: TU Gui-jing

三值乘积逻辑系统Π₃中的随机化研究

屠桂晶，张兴芳，李成允，李友雨

聊城大学数学科学学院，山东聊城 252059

通讯作者: 屠桂晶

Abstract

Abstract: In this paper，D_∏3-stochastic truth degree of formulas in ternary logic Π₃ s presented by using stochastic method on evaluation sets.It is proved that the set of stochastic truth degree of all formulas has no isolated point.The conceptions of D_∏3-similarity degree and pseudo-metric on two formulas are given.D_∏3-logic metric space is built.And it is proved that this space has no isolated point.

Key words: D_∏3-stochastic truth degree, _∏3-similarity degree, _∏3-logic metric space

摘要： 利用赋值集的随机化方法，在三值乘积逻辑∏₃提出了公式的随机真度，证明了所有公式的随机真度之集在[0，1]中没有孤立点；给出了两公式间的D_∏3-相似度与伪距离的概念，并建立了D_∏3-逻辑度量空间，证明了此空间没有孤立点。

关键词: D_∏3-随机真度, D_∏₃-相似度, D_∏₃-逻辑度量空间

CLC Number:

O141.1

TU Gui-jing，ZHANG Xing-fang，LI Cheng-yun，LI You-yu. Stochastic study in ternary logic system Π₃[J]. Computer Engineering and Applications, 2010, 46(14): 34-38.

屠桂晶，张兴芳，李成允，李友雨. 三值乘积逻辑系统Π₃中的随机化研究[J]. 计算机工程与应用, 2010, 46(14): 34-38.

[1]	HAN Cheng. Theory of similarity measures between Vague sets [J]. Computer Engineering and Applications, 2010, 46(36): 56-60.
[2]	XU Ge-ni. Truth degree theory of system L in space of unevenly distributed probability [J]. Computer Engineering and Applications, 2010, 46(36): 53-55.
[3]	QIN Xue-cheng，LIU Chun-hui. Interval valued fuzzy filters in fuzzy implication algebras [J]. Computer Engineering and Applications, 2010, 46(31): 39-42.
[4]	YU Xi-chang1，CHEN Huai-jin2，TAN Gui-mei3. Similarity degree and pseudo-distance of probability truth degree for formulas [J]. Computer Engineering and Applications, 2010, 46(27): 57-61.
[5]	GAO Xiang-ni，SHE Yan-hong，WANG Guo-jun. Truth degree of theory in logic system G_n and its application [J]. Computer Engineering and Applications, 2010, 46(24): 30-33.
[6]	YU Hong-li¹，WU Hong-bo². Improvement in proving generalized semantic MP rule of H_α logic system [J]. Computer Engineering and Applications, 2010, 46(22): 52-53.
[7]	TAN Gui-mei¹，YU Xi-chang². Similarity degree and pseudo-distance of probability truth degree for formulas in Gödel propositional logic system [J]. Computer Engineering and Applications, 2010, 46(20): 46-49.
[8]	ZHANG Qiong，WU Hong-bo. Extension of Basis system L* and its relative properties [J]. Computer Engineering and Applications, 2010, 46(19): 36-38.
[9]	NIU Guang-hua¹，YU Xi-chang². Similarity degree and pseudo-distance of conditional probability truth degree of formulas in propositional logic system [J]. Computer Engineering and Applications, 2010, 46(17): 33-38.
[10]	TAN Gui-mei¹，YU Xi-chang². Theory of conditional relative Γ-tautology degree of formulas in continuous value propositional logic system [J]. Computer Engineering and Applications, 2010, 46(16): 55-59.
[11]	YU Xi-chang¹，TAN Gui-mei². Probability truth degree of formulas in classical propositional logic [J]. Computer Engineering and Applications, 2010, 46(11): 46-48.
[12]	LI Shun-qin¹，WANG Guo-jun². Theory of generalized tautology in subalgebras of system H_α [J]. Computer Engineering and Applications, 2010, 46(8): 37-39.
[13]	GUAN Xiao-hong，LIU Xiao. Theory of probability truth degree in £ukasiewicz 3-valued logic system [J]. Computer Engineering and Applications, 2010, 46(6): 37-41.
[14]	YU Xi-chang¹，TAN Gui-mei²，ZHANG Xing-fang³. Theory of probability truth degree for formula in propositional logic system [J]. Computer Engineering and Applications, 2010, 46(5): 40-43.
[15]	XIAO Yun-ping，ZOU Ting-rong. Z-fliters of Z-implicative algebra [J]. Computer Engineering and Applications, 2010, 46(2): 39-40.

Stochastic study in ternary logic system Π₃

三值乘积逻辑系统Π₃中的随机化研究

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics