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. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论