Unified theory of truth degrees in n-valued S-MTL propositional logic

CORC > 兰州理工大学 > 兰州理工大学 > 理学院

	Unified theory of truth degrees in n-valued S-MTL propositional logic
	Li, Jun; Deng, Fu-Xi
刊名	Tien Tzu Hsueh Pao/Acta Electronica Sinica
	2011-08-01
卷号	39 期号:8 页码:1864-1868
关键词	Computer circuits Linearization Approximate reasoning Logical system Probability measures Propositional logic Pseudo-distance Regular implication operators Similarity degree Truth degree
ISSN号	03722112
英文摘要	The concept of strong regular implication operator and the n-valued S-MTL propositional logic system are introduced. Based on probability measure the truth degree of formula is defined and its integral expression is given and the inference rules w. r. t the truth degrees is proved. Moreover, similarity degrees among formulas are proposed and a pseudo-metric is defined therefrom on the set of formulas. The continuity of logical operators w. r. t the pseudo-distance is proved, and hence a possible framework suitable for developing approximate reasoning theory in n-valued S-MTL propositional logic is established.
语种	中文
出版者	Chinese Institute of Electronics
内容类型	期刊论文
源URL	[http://ir.lut.edu.cn/handle/2XXMBERH/111237]
专题	理学院
作者单位	School of Science, Lanzhou University of Technology, Lanzhou, Gansu 730050, China
推荐引用方式 GB/T 7714	Li, Jun,Deng, Fu-Xi. Unified theory of truth degrees in n-valued S-MTL propositional logic[J]. Tien Tzu Hsueh Pao/Acta Electronica Sinica,2011,39(8):1864-1868.
APA	Li, Jun,&Deng, Fu-Xi.(2011).Unified theory of truth degrees in n-valued S-MTL propositional logic.Tien Tzu Hsueh Pao/Acta Electronica Sinica,39(8),1864-1868.
MLA	Li, Jun,et al."Unified theory of truth degrees in n-valued S-MTL propositional logic".Tien Tzu Hsueh Pao/Acta Electronica Sinica 39.8(2011):1864-1868.