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

DOI10.1016/J.FSS.2004.12.002MaRDI QIDQ2486056zbMATH OpenOpenAlexFDO

Authors Daowu 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

Fuzzy logicIndependenceInvolutive monoidal t-norm-based logicNilpotent minimum logicSimplification

Mathematics Subject Classification ID

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

Recommendations

• On equivalent forms of fuzzy logic systems NM and IMTL
• A schematic extension of the IMTL logic system
• Formal systems of fuzzy logic and their fragments
• On the independence of axioms in BL and MTL
• Involutive monoidalt-norm based logic andR0 logic

Cites work

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

Cited in

(15)

• On equivalent forms of fuzzy logic systems NM and IMTL
• On the independence of axioms in BL and MTL
• Asymmetric equivalences in fuzzy logic
• Characterizations of maximal consistent theories in the formal deductive system \(\mathcal L^{*}\) (NM-logic) and Cantor space
• Formal systems of fuzzy logic and their fragments
• Algebraic structures related to nilpotent minimum algebras and rough sets
• A schematic extension of the IMTL logic system
• Involutive monoidalt-norm based logic andR0 logic
• 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\)
• About axiomatic systems of product fuzzy logic
• Stone-like representation theorems and three-valued filters in \(R_{0}\)- algebras (nilpotent minimum algebras)
• NMŁ, a schematic extension of F. Esteva and L. Godo's logic MTL
• Axiomatic extensions of IMT3 logic
• Disjunctive elimination rule and its application in MTL

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2486056)