A logical approach to fuzzy truth hedges

被引：30
作者：
Esteva, Francesc [1 ]
Godo, Lluis [1 ]
Noguera, Caries [1 ]
机构：
[1] Artificial Intelligence Res Inst IIIA CSIC, Bellaterra 08193, Catalonia, Spain
来源：
INFORMATION SCIENCES | 2013年 / 232卷
关键词：
Mathematical fuzzy logic; Standard completeness; Truth hedges; t-Norm based logics;
D O I：
10.1016/j.ins.2012.12.010
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
The starting point of this paper are the works of Hajek and Vychodil on the axiomatization of truth-stressing and-depressing hedges as expansions of Hajek's BL logic by new unary connectives. They showed that their logics are chain-complete, but standard completeness was only proved for the expansions over Godel logic, We propose weaker axiomatizations over an arbitrary core fuzzy logic which have two main advantages: (i) they preserve the standard completeness properties of the original logic and (ii) any subdiagonal (resp. super-diagonal) non-decreasing function on [0,1] preserving 0 and 1 is a sound interpretation of the truth-stresser (resp. depresser) connectives. Hence, these logics accommodate most of the truth hedge functions used in the literature about of fuzzy logic in a broader sense. (C) 2012 Elsevier Inc. All rights reserved.
引用
收藏
页码：366 / 385
页数：20
相关论文
共 39 条
[1]  
[Anonymous], 1999, Mathematical Principles of Fuzzy Logic, DOI DOI 10.1007/978-1-4615-5217-8
[2]  
Baaz Baa96 M., 1996, Lecture Notes in Logic, V6, P23
[3]  
Baaz M., ARCH MATH L IN PRESS
[4]   Godel logics with monotone operators [J].
Baaz, Matthias ;
Fasching, Oliver .
FUZZY SETS AND SYSTEMS, 2012, 197 :3-13
[5]  
Behounek Liber, 2011, Studies in Logic, V37, P1
[6]  
Blok W. J., 1989, MEM AM MATH SOC, V77, P396, DOI [10.1090/memo/0396, DOI 10.1090/MEMO/0396.262,267]
[7]  
Brown Penelope., 1978, Politeness: Some Universals in Language Usage
[8]   Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions [J].
Ciabattoni, Agata ;
Metcalfe, George ;
Montagna, Franco .
FUZZY SETS AND SYSTEMS, 2010, 161 (03) :369-389
[9]   Basic Fuzzy Logic is the logic of continuous t-norms and their residua [J].
R. Cignoli ;
F. Esteva ;
L. Godo ;
A. Torrens .
Soft Computing, 2000, 4 (2) :106-112
[10]  
Cintula P., 2011, Handbook of Mathematical Fuzzy Logic, V1, P103
1234