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

IR > 理学院

	Unified theory of truth degrees in n-valued S-MTL propositional logic
	Li, Jun; Deng, Fu-Xi
	2011-08-01
发表期刊	Tien Tzu Hsueh Pao/Acta Electronica Sinica
ISSN	03722112
卷号	39 期号:8 页码:1864-1868
摘要	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.
关键词	Computer circuits Linearization Approximate reasoning Logical system Probability measures Propositional logic Pseudo-distance Regular implication operators Similarity degree Truth degree
收录类别	EI
语种	中文
出版者	Chinese Institute of Electronics
EI入藏号	20113914370873
EI主题词	Many valued logics
EI分类号	721.1 Computer Theory, Includes Formal Logic, Automata Theory, Switching Theory, Programming Theory - 721.3 Computer Circuits
来源库	Compendex
分类代码	721.1 Computer Theory, Includes Formal Logic, Automata Theory, Switching Theory, Programming Theory - 721.3 Computer Circuits
文献类型	期刊论文
条目标识符	https://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.