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 条
  • [41] FUZZY ALGEBRA IN TRIANGULAR NORM SYSTEM
    宋晓秋
    潘志
    [J]. International Journal of Mining Science and Technology, 1994, (01) : 125 - 130
  • [42] Fuzzy algebra in triangular norm system
    Song, XQ
    Pan, Z
    [J]. FUZZY SETS AND SYSTEMS, 1998, 93 (03) : 331 - 335
  • [43] FUZZY PROBABILITY WITH TRIANGULAR NORM SYSTEM
    Karpisek, Zdenek
    [J]. APLIMAT 2007 - 6TH INTERNATIONAL CONFERENCE, PT II, 2007, : 403 - 416
  • [44] A true unprovable formula of fuzzy predicate logic
    Hájek, P
    [J]. LOGIC VERSUS APPROXIMATION: ESSAYS DEDICATED TO MICHAEL M RICHTER ON THE OCCASION OF HIS 65TH BIRTHDAY, 2004, 3075 : 1 - 5
  • [45] On triangular norm based axiomatic extensions of the weak nilpotent minimum logic
    Noguera, Carles
    Esteva, Francesc
    Gispert, Joan
    [J]. MATHEMATICAL LOGIC QUARTERLY, 2008, 54 (04) : 387 - 409
  • [46] Fuzzy Temporal Predicate Logic for Incomplete Information
    Poli, Venkata Subba Reddy
    [J]. 2015 INTERNATIONAL CONFERENCE ON FUZZY THEORY AND ITS APPLICATIONS (IFUZZY), 2015, : 86 - 90
  • [47] Algebras of Similarity Monadic Fuzzy Predicate Logic
    Fu, Xuesong
    Liu, Xiaoyan
    Zhao, Zhiqin
    [J]. Journal of Applied Logics, 2024, 11 (03): : 279 - 300
  • [48] ALGEBRAS OF SIMILARITY MONADIC FUZZY PREDICATE LOGIC
    Fu, Xuesong
    Liu, Xiaoyan
    Zhao, Zhiqin
    [J]. JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2024, 11 (03):
  • [49] Decision-making for solar panel selection using Sugeno-Weber triangular norm-based on q-rung orthopair fuzzy information
    Wang, Yibo
    Hussain, Abrar
    Yin, Shi
    Ullah, Kifayat
    Bozanic, Darko
    [J]. FRONTIERS IN ENERGY RESEARCH, 2024, 11
  • [50] Fuzzy relation equations via basic predicate fuzzy logic
    Novák, V
    Perfilieva, I
    Gottwald, S
    [J]. COMPUTATIONAL INTELLIGENT SYSTEMS FOR APPLIED RESEARCH, 2002, : 81 - 88
12345