A triangular norm-based fuzzy predicate logic

被引：1
|
作者：
Wang, SM
Wang, BS
Wang, GJ
机构：
[1] Xidian Univ, Sch Comp Sci & Engn, Xian 710071, Peoples R China
[2] Shaanxi Normal Univ, Math Inst, Xian 710062, Peoples R China
来源：
FUZZY SETS AND SYSTEMS | 2003年 / 138卷 / 01期
关键词：
non-classical logics; formal system K-P(*); completeness; triangular norm;
D O I：
10.1016/S0165-0114(02)00376-7
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Fuzzy predicate calculi are powerful tools in analyzing topics of Zadeh's agenda, such as fuzzy modus ponens, compositional rule of inference, fuzzy functions and fuzzy control, etc. So far, however, predicate logics which are complete with respect to the semantics over [0, 1] are rather scarce. In this paper, a new type of fuzzy predicate logic K-L*, which has a recursive axiomatization that is complete with respect to the y semantics over [0, 1], is introduced. Furthermore, its important applications are also discussed. (C) 2002 Elsevier B.V. All rights reserved.
引用
收藏
页码：177 / 186
页数：10
相关论文
共 50 条
12345