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

Authors:
Daowu Pei
Affiliations:
Research Center of Science, Xi'an Jiaotong University, Xi'an 710049, P.R. China and Department of Mathematics, Yancheng Teachers College, Yancheng 224002, P.R. China
Venue:
Fuzzy Sets and Systems
Year:
2005

Citing 9
Cited 3

Fuzzy sets in approximate reasoning, part 1: inference with possibility distributions

Fuzzy Sets and Systems - Special memorial volume on foundations of fuzzy reasoning
Contrapositive symmetry of fuzzy implications

Fuzzy Sets and Systems
A survey on different triangular norm-based fuzzy logics

Fuzzy Sets and Systems - Special issue on analytical and structural considerations in fuzzy modeling
On the logic foundation of fuzzy reasoning

Information Sciences: an International Journal
Non-fuzzy versions of fuzzy reasoning in classical logics

Information Sciences—Informatics and Computer Science: An International Journal
R0 implication: characteristics and applications

Fuzzy Sets and Systems - Mathematics
The extensions Ln of the formal system Ln and their completeness

Information Sciences: an International Journal
On Complete Residuated Many-Valued Logics with t-Norm Conjunction

ISMVL '01 Proceedings of the 31st IEEE International Symposium on Multiple-Valued Logic
On equivalent forms of fuzzy logic systems NM and IMTL

Fuzzy Sets and Systems

Characterizations of maximal consistent theories in the formal deductive system L* (NM-logic) and Cantor space

Fuzzy Sets and Systems
Stone-like representation theorems and three-valued filters in R0- algebras (nilpotent minimum algebras)

Fuzzy Sets and Systems
An equivalent form of rough logic system RSL

RSKT'10 Proceedings of the 5th international conference on Rough set and knowledge technology

Quantified Score

Hi-index	0.20

Visualization

Abstract

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.