NMŁ, a schematic extension of F. Esteva and L. Godo's logic MTL

DOI10.1016/J.FSS.2003.12.005MaRDI QIDQ703374zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Bao-Shu Wang, Fang Ren, Sanmin Wang

Publication date 11 January 2005

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

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

zbMATH Keywords

fuzzy logicextension of MTL logicleft continuous t-norm

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

Recommendations

• A fuzzy logic for an ordinal sum t-norm
• On n ‐contractive fuzzy logics
• On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
• Simplification and independence of axioms of fuzzy logic systems IMTL and NM
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms

Cites work

• A formal deductive system for fuzzy propositional calculus
• A proof of standard completeness for Esteva and Godo's logic MTL
• A survey on different triangular norm-based fuzzy logics
• A triangular-norm-based propositional fuzzy logic
• Contrapositive symmetry of fuzzy implications
• Fragments of Many-Valued Statement Calculi
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• New family of triangular norms via contrapositive symmetrization of residuated implications
• Observations on the monoidal t-norm logic
• On equivalent forms of fuzzy logic systems NM and IMTL
• On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
• Triangular norms

Cited in

(12)

• scientific article; zbMATH DE number 2068681 (Why is no real title available?)
• Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
• A fuzzy logic for the revised drastic product t-norm.
• On the scope of some formulas defining additive connectives in fuzzy logics
• On equivalent forms of fuzzy logic systems NM and IMTL
• Disjunctive elimination rule and its application in MTL
• On n ‐contractive fuzzy logics
• A fuzzy logic for an ordinal sum t-norm
• A schematic extension of the IMTL logic system
• Finitary extensions of the nilpotent minimum logic and (almost) structural completeness
• Computational complexities of axiomatic extensions of monoidal t-norm based logic
• Undefinability of min-conjunction in MTL

This page was built for publication: NMŁ, a schematic extension of F. Esteva and L. Godo's logic MTL

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