Simplification and independence of axioms of fuzzy logic systems IMTL and NM

被引：10
|
作者：
Pei, DW [1 ]
机构：
[1] Xi An Jiao Tong Univ, Ctr Sci Res, Xian 710049, Peoples R China
[2] Yancheng Teachers Coll, Dept Math, Yancheng 224002, Peoples R China
来源：
FUZZY SETS AND SYSTEMS | 2005年 / 152卷 / 02期
关键词：
fuzzy logic; involutive monoidal t-norm-based logic; nilpotent minimum logic; simplification; independence;
D O I：
10.1016/j.fss.2004.12.002
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Monoidal t-norm-based logic MTL is the common formalization of all fuzzy logic of left continuous t-norms and their residua. This system has two important schematic extensions: involutive monoidal t-norm-based logic IMTL and nilpotent minimum logic NM. In this paper, we discuss simplification and independence of axioms of IMTL and NM, the shorter axioms of both logics, and an independent axioms of the system IMTL are given. (c) 2005 Elsevier B.V. All rights reserved.
引用
收藏
页码：303 / 320
页数：18
相关论文
共 50 条
  • [41] Explainable AI and Fuzzy Logic Systems
    Chimatapu, Ravikiran
    Hagras, Hani
    Starkey, Andrew
    Owusu, Gilbert
    THEORY AND PRACTICE OF NATURAL COMPUTING (TPNC 2018), 2018, 11324 : 3 - 20
  • [42] Formal systems of fuzzy logic and their fragments
    Cintula, Petr
    Hajek, Petr
    Horcik, Rostislav
    ANNALS OF PURE AND APPLIED LOGIC, 2007, 150 (1-3) : 40 - 65
  • [43] Applications of fuzzy logic in power systems - Part 1 General introduction to fuzzy logic
    Song, YH
    Johns, AT
    POWER ENGINEERING JOURNAL, 1997, 11 (05): : 219 - 222
  • [44] Simplification of fuzzy-neural systems using similarity analysis
    Chao, CT
    Chen, YJ
    Teng, CC
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 1996, 26 (02): : 344 - 354
  • [45] Simplification of fuzzy rule based systems using orthogonal transformation
    Yen, J
    Wang, L
    PROCEEDINGS OF THE SIXTH IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS, VOLS I - III, 1997, : 253 - 258
  • [46] Simplification of fuzzy-neural systems using similarity analysis
    Natl Chiao-Tung Univ, Hsinchu, Taiwan
    IEEE Trans Syst Man Cybern Part B Cybern, 2 (344-354):
  • [47] Rule base simplification in fuzzy systems by aggregation of inconsistent rules
    Gegov, Alexander
    Arabikhan, Farzad
    Sanders, David
    JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, 2015, 28 (03) : 1331 - 1343
  • [48] An interrelated fuzzy set and its application to fuzzy logic systems
    Yue, J. (yjm@mail.nankai.edu.cn), 1600, Central South University of Technology (45):
  • [49] Fuzzy logic and fuzzy systems: Recent developments and future directions
    Gupta, MM
    1996 BIENNIAL CONFERENCE OF THE NORTH AMERICAN FUZZY INFORMATION PROCESSING SOCIETY - NAFIPS, 1996, : 155 - 159
  • [50] Some properties of fuzzy reasoning in propositional fuzzy logic systems
    Zhang, Jiancheng
    Yang, Xiyang
    INFORMATION SCIENCES, 2010, 180 (23) : 4661 - 4671
12345