Disjunctive elimination rule and its application in MTL

DOI10.1016/j.fss.2006.05.008zbMath1114.03025OpenAlexW1997023399WikidataQ59306574 ScholiaQ59306574MaRDI QIDQ869116

Ming-yan Wang, San-min 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

MTLBLdisjunctive elimination ruleleft-continuous t-norm

Mathematics Subject Classification ID

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

Related Items (4)

The logic of the strongest and the weakest t-norms ⋮ Corrigendum to ``The logic of the strongest and the weakest t-norms ⋮ Logics with disjunction and proof by cases ⋮ A semantic study of the first-order predicate logic with uncertainty involved

Cites Work

• NMŁ, a schematic extension of F. Esteva and L. Godo's logic MTL
• 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
• A proof of standard completeness for Esteva and Godo's logic MTL
• Observations on the monoidal t-norm logic
• A triangular-norm-based propositional fuzzy logic
• About axiomatic systems of product fuzzy logic

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