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

DOI10.1016/j.fss.2004.12.002zbMath1072.03017OpenAlexW2092110473MaRDI 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

IndependenceFuzzy logicSimplificationInvolutive monoidal t-norm-based logicNilpotent minimum logic

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Related Items (6)

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

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

This page was built for publication: Simplification and independence of axioms of fuzzy logic systems IMTL and NM