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

DOI10.1016/j.fss.2003.12.005zbMath1060.03044OpenAlexW2091855908WikidataQ59306584 ScholiaQ59306584MaRDI QIDQ703374

Bao-Shu Wang, Fang Ren, San-min 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)

Related Items

Computational complexities of axiomatic extensions of monoidal t-norm based logic ⋮ Disjunctive elimination rule and its application in MTL ⋮ A fuzzy logic for the revised drastic product t-norm. ⋮ Undefinability of min-conjunction in MTL ⋮ Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies

Cites Work

• 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 formal deductive system for fuzzy propositional calculus
• On equivalent forms of fuzzy logic systems NM and IMTL
• Triangular norms
• A proof of standard completeness for Esteva and Godo's logic MTL
• On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
• Observations on the monoidal t-norm logic
• A triangular-norm-based propositional fuzzy logic
• Contrapositive symmetry of fuzzy implications
• New family of triangular norms via contrapositive symmetrization of residuated implications
• Fragments of Many-Valued Statement Calculi