Consistency degrees of theories in some systems of propositional fuzzy logic

被引:24
作者
Zhou, XN
Wang, GJ [1 ]
机构
[1] Shaanxi Normal Univ, Inst Math, Xian 710062, Peoples R China
[2] Xian Jiaotong Univ, Ctr Sci Res, Xian 710049, Peoples R China
基金
美国国家科学基金会;
关键词
divergence degree; theory; consistency degree; inconsistency; polar index;
D O I
10.1016/j.fss.2004.11.005
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Based on the analysis of relationships among the properties of consistent, inconsistent and fully divergent theories, and by means of the concept of divergence degrees, the present paper proposes a new membership function for reflecting the consistency degrees of general theories in four different types of fuzzy logic systems, i.e., Lukasiewicz fuzzy logic system Luk, Godel fuzzy logic system God, Product fuzzy logic system Pro and the R0-fuzzy logic system L*. (c) 2004 Elsevier B.V. All rights reserved.
引用
收藏
页码:321 / 331
页数:11
相关论文
共 11 条
[1]  
[Anonymous], 1999, Mathematical Principles of Fuzzy Logic, DOI DOI 10.1007/978-1-4615-5217-8
[2]  
Cignoli R. L, 2013, Algebraic foundations of many-valued reasoning, V7
[3]   Monoidal t-norm based logic: towards a logic for left-continuous t-norms [J].
Esteva, F ;
Godo, L .
FUZZY SETS AND SYSTEMS, 2001, 124 (03) :271-288
[4]  
GOTTWALD S, 1997, P 7 IFSA WORLD C AC, P168
[5]  
Hajek P, 1998, Trends in Logic
[6]  
Kelly JL, 1955, General Topology
[7]  
PEI DW, 2001, FUZZY SYST MATH, V15, P34
[8]   Consistency degrees of finite theories in Lukasiewicz propositional fuzzy logic [J].
Wang, GJ ;
Zhang, WX .
FUZZY SETS AND SYSTEMS, 2005, 149 (02) :275-284
[9]   Theory of Σ-(α-tautologies) in revised Kleene systems [J].
Wang, GJ .
SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES, 1998, 41 (02) :188-195
[10]   Integrated semantics and logic metric spaces [J].
Wang, GJ ;
Leung, Y .
FUZZY SETS AND SYSTEMS, 2003, 136 (01) :71-91