Disjunctive elimination rule and its application in MTL

DOI10.1016/J.FSS.2006.05.008MaRDI QIDQ869116zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Ming-yan Wang, Sanmin Wang

Publication date 26 February 2007

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

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

zbMATH Keywords

BLdisjunctive elimination ruleleft-continuous t-normMTL

Mathematics Subject Classification ID

Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52)

Recommendations

• NMŁ, a schematic extension of F. Esteva and L. Godo's logic MTL
• Simplification and independence of axioms of fuzzy logic systems IMTL and NM
• On n ‐contractive fuzzy logics
• On the independence of axioms in BL and MTL
• On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic

Cites work

• A formal deductive system for fuzzy propositional calculus
• A proof of standard completeness for Esteva and Godo's logic MTL
• A triangular-norm-based propositional fuzzy logic
• About axiomatic systems of product fuzzy logic
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• NMŁ, a schematic extension of F. Esteva and L. Godo's logic MTL
• Observations on the monoidal t-norm logic

Cited in

(7)

• The logic of the strongest and the weakest t-norms
• Eliminating disjunctions by disjunction elimination
• Corrigendum to ``The logic of the strongest and the weakest t-norms
• A semantic study of the first-order predicate logic with uncertainty involved
• Undefinability of min-conjunction in MTL
• Disjunctive Rule Lists
• Logics with disjunction and proof by cases

This page was built for publication: Disjunctive elimination rule and its application in MTL

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