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 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 条
  • [31] Control in networked systems with fuzzy logic
    Akbulut, Akhan
    Oztas, Oguzhan
    TURKISH JOURNAL OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCES, 2013, 21 (01) : 225 - 233
  • [32] Extended Fuzzy Logic: Sets and Systems
    Sabahi, Farnaz
    Akbarzadeh-T, Mohammad Reza
    IEEE TRANSACTIONS ON FUZZY SYSTEMS, 2016, 24 (03) : 530 - 543
  • [33] Fuzzy logic systems and medical applications
    Vlamou, Elena
    Papadopoulos, Basil
    AIMS NEUROSCIENCE, 2019, 6 (04) : 266 - 272
  • [34] SYSTEMS DYNAMICS WITH FUZZY-LOGIC
    LEVARY, RR
    INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, 1990, 21 (08) : 1701 - 1707
  • [35] Fuzzy Logic Applied to SCADA Systems
    Benmessaoud, Tahar
    Marugan, Alberto Pliego
    Mohammedi, Kamal
    Garcia Marquez, Fausto Pedro
    PROCEEDINGS OF THE ELEVENTH INTERNATIONAL CONFERENCE ON MANAGEMENT SCIENCE AND ENGINEERING MANAGEMENT, 2018, : 749 - 757
  • [36] Fuzzy Logic Controller for Embedded Systems
    Kravets, Petro
    Kyrkalo, Roman
    MEMSTECH: 2009 INTERNATIONAL CONFERENCE ON PERSPECTIVE TECHNOLOGIES AND METHODS IN MEMS DESIGN, 2009, : 46 - 47
  • [37] Fuzzy normal proposition logic systems
    Zou, KQ
    PROCEEDINGS OF THE 4TH WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION, VOLS 1-4, 2002, : 1853 - 1856
  • [38] Fuzzy Logic Control of Mechatronic Systems
    Ciganek, J.
    Noge, F.
    2013 INTERNATIONAL CONFERENCE ON PROCESS CONTROL (PC), 2013, : 309 - 313
  • [39] Fuzzy logic for biological and agricultural systems
    Center, B
    Verma, BP
    ARTIFICIAL INTELLIGENCE REVIEW, 1998, 12 (1-3) : 213 - 225
  • [40] Operations and Properties of Fuzzy Logic Systems
    Wang, Wenli
    Wang, Yinhe
    Zhang, Yun
    INTERNATIONAL JOURNAL OF FUZZY SYSTEMS, 2010, 12 (04) : 273 - 279