A hedge for Godel fuzzy logic

被引:13
作者
Hájek, P [1 ]
Harmancová, D [1 ]
机构
[1] Acad Sci Czech Republ, Inst Comp Sci, Prague 18207, Czech Republic
关键词
fuzzy logic; Godel logic; intuitionistic logic; hedges;
D O I
10.1142/S0218488500000332
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
We add to Godel propositional fuzzy logic an unary connective originating in intuitionistic logic and having a natural meaning in fuzzy logic. We prove completeness with respect to a natural many-valued semantics.
引用
收藏
页码:495 / 498
页数:4
相关论文
共 8 条
[1]  
[Anonymous], SOFT COMPUT
[2]  
[Anonymous], 1959, J SYMBOLIC LOGIC
[3]  
Hajek P, 1998, Trends in Logic
[4]  
HAJEK P, 1993, NEURAL NETWORK WORLD, V3, P733
[5]  
Kaminski M., 1988, Notre Dame Journal of Formal Logic, V29, P309, DOI 10.1305/ndjfl/1093637931
[6]  
Kleene SC, 1952, INTRO METAMATHEMATIC
[7]  
YASHIN AD, 1997, LOG C 97 LEEDS ENGL
[8]  
Zadeh L., 1972, J CYBERNETICS, V2, P4, DOI DOI 10.1080/01969727208542910