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

DOI10.1016/j.fss.2004.12.002zbMath1072.03017MaRDI QIDQ2486056

Dao-Wu Pei

Publication date: 5 August 2005

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.fss.2004.12.002

zbMATH Keywords

Independence; Fuzzy logic; Simplification; Involutive monoidal t-norm-based logic; Nilpotent minimum logic

Mathematics Subject Classification ID

03B52: Fuzzy logic; logic of vagueness

68T37: Reasoning under uncertainty in the context of artificial intelligence

Related Items

A survey of fuzzy implication algebras and their axiomatization, Rough approximation operators on \(R_0\)-algebras (nilpotent minimum algebras) with an application in formal logic \(\mathcal{L}^\ast\), Stone-like representation theorems and three-valued filters in \(R_{0}\)- algebras (nilpotent minimum algebras), Asymmetric equivalences in fuzzy logic, Characterizations of maximal consistent theories in the formal deductive system \(\mathcal L^{*}\) (NM-logic) and Cantor space, Algebraic structures related to nilpotent minimum algebras and rough sets1

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The completeness and applications of the formal system \(\mathcal L^\ast\)
• A survey on different triangular norm-based fuzzy logics
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• A new axiomatization for involutive monoidal t-norm-based logic
• A formal deductive system for fuzzy propositional calculus
• On equivalent forms of fuzzy logic systems NM and IMTL
• The extensions \(\mathcal L_n^{\ast}\) of the formal system \(\mathcal L^{\ast}\) and their completeness.
• Triangular norms
• Non-fuzzy versions of fuzzy reasoning in classical logics
• A proof of standard completeness for Esteva and Godo's logic MTL
• \(R _{0}\) implication: Characteristics and applications
• Contrapositive symmetry of fuzzy implications
• On the fundamentals of fuzzy set theory
• On the logic foundation of fuzzy reasoning
• Fuzzy logic and the calculi of fuzzy rules, fuzzy graphs, and fuzzy probabilities
• Fuzzy sets in a approximate reasoning. I: Inference with possibility distributions
• Outline of a New Approach to the Analysis of Complex Systems and Decision Processes