NMŁ, a schematic extension of F. Esteva and L. Godo's logic MTL
From MaRDI portal
Publication:703374
DOI10.1016/J.FSS.2003.12.005zbMATH Open1060.03044DBLPjournals/fss/WangWR05OpenAlexW2091855908WikidataQ59306584 ScholiaQ59306584MaRDI QIDQ703374FDOQ703374
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
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
- Triangular norms
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-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
- Contrapositive symmetry of fuzzy implications
- New family of triangular norms via contrapositive symmetrization of residuated implications
- Fragments of Many-Valued Statement Calculi
- A formal deductive system for fuzzy propositional calculus
- On equivalent forms of fuzzy logic systems NM and IMTL
- A survey on different triangular norm-based fuzzy logics
- A triangular-norm-based propositional fuzzy logic
Cited In (12)
- A schematic extension of the IMTL logic system
- On the scope of some formulas defining additive connectives in fuzzy logics
- On equivalent forms of fuzzy logic systems NM and IMTL
- On n ‐contractive fuzzy logics
- A fuzzy logic for an ordinal sum t-norm
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- Undefinability of min-conjunction in MTL
- 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.
- Finitary extensions of the nilpotent minimum logic and (almost) structural completeness
- Title not available (Why is that?)
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)
