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 条

[1] On equivalent forms of fuzzy logic systems NM and IMTL
Pei, DW
FUZZY SETS AND SYSTEMS, 2003, 138 (01) : 187 - 195
[2] Intuitionistic Fuzzy Implications and the Axioms of Intuitionistic Logic
Angelova, Nora A.
Atanassov, Krassimir T.
PROCEEDINGS OF THE 2015 CONFERENCE OF THE INTERNATIONAL FUZZY SYSTEMS ASSOCIATION AND THE EUROPEAN SOCIETY FOR FUZZY LOGIC AND TECHNOLOGY, 2015, 89 : 1578 - 1584
[3] Intuitionistic Fuzzy Interpretation of Quantum Logic Axioms
Atanassov, Krassimir T.
Kacprzyk, Janusz
Angelova, Nora A.
JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2024, 43 (4-6) : 343 - 354
[4] Independence of the axioms of Boolean algebra in multiple-valued logic
Ninomiya, T
Mukaidono, M
30TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 2000, : 107 - 112
[5] New representation and simplification method of fuzzy logic functions
Xu, Luping
Xie, Weixin
Xi'an Dianzi Keji Daxue Xuebao/Journal of Xidian University, 1997, 24 (03): : 346 - 350
[6] Independence and conditioning in a connectivistic fuzzy logic framework
Aguilar-Martin, J
SOFT METHODS IN PROBABILITY, STATISTICS AND DATA ANALYSIS, 2002, : 65 - 75
[7] On fuzzy independence set systems
Novak, LA
FUZZY SETS AND SYSTEMS, 1997, 91 (03) : 365 - 374
[8] Perspectives in Fuzzy Logic and Fuzzy Systems
Teodorescu, Horia-Nicolai
ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY, 2018, 21 (04): : 324 - 327
[9] First-order logic system IMTL*Q and triple I method in fuzzy reasoning with linguistic quantifiers
Zhang, Xiaohong
Zeng, Xu
JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, 2014, 26 (05) : 2359 - 2367
[10] A Logic-based Computational Method for the Automated Induction of Fuzzy Ontology Axioms
Lisi, Francesca A.
Straccia, Umberto
FUNDAMENTA INFORMATICAE, 2013, 124 (04) : 503 - 519

← 1 2 3 4 5 →