Computational complexities of axiomatic extensions of monoidal t-norm based logic

DOI10.1007/S00500-008-0382-0MaRDI QIDQ2391235zbMATH OpenOpenAlexFDO

Authors Moataz El-Zekey, Wafik Boulos Lotfallah, Nehad N. Morsi

Publication date 24 July 2009

Published in Soft Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00500-008-0382-0

zbMATH Keywords

computational complexitytautologynilpotent minimum t-normaxiomatic extension of monoidal t-norm-based logicleft-continuous strict t-normNMsatisfiable formulaSMTL

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Fuzzy logic; logic of vagueness (03B52) Complexity of computation (including implicit computational complexity) (03D15)

Recommendations

• On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
• Complexity of t-tautologies
• Complexity Issues in Axiomatic Extensions of Lukasiewicz Logic
• Minimally many-valued extensions of the monoidal t-norm based logic MTL
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms

Cites work

• scientific article; zbMATH DE number 3870293 (Why is no real title available?)
• scientific article; zbMATH DE number 1254648 (Why is no real title available?)
• scientific article; zbMATH DE number 610968 (Why is no real title available?)
• scientific article; zbMATH DE number 2042619 (Why is no real title available?)
• scientific article; zbMATH DE number 2068681 (Why is no real title available?)
• A characterization of truth-functions in the nilpotent minimum logic
• A general method for constructing left-continuous t-norms
• A proof of standard completeness for Esteva and Godo's logic MTL
• A treatise on many-valued logics
• Basic fuzzy logic and BL-algebras. II
• Complexity issues in Basic Logic
• Complexity of t-tautologies
• Contrapositive symmetry of fuzzy implications
• 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
• On Fuzzy Logic I Many‐valued rules of inference
• On a class of left-continuous \(\text t\)-norms
• On equivalent forms of fuzzy logic systems NM and IMTL
• On expansions of WNM t-norm based logics with truth-constants
• On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
• On triangular norm based axiomatic extensions of the weak nilpotent minimum logic
• \(R _{0}\) implication: Characteristics and applications

Cited in

(9)

• First-order nilpotent minimum logics: first steps
• Axiomatic Extensions of Hohle's Monoidal Logic
• Decidability of Cancellative Extension of Monoidal T-norm Based Logic
• Trakhtenbrot theorem and first-order axiomatic extensions of MTL
• A temporal semantics for nilpotent minimum logic
• Minimally many-valued extensions of the monoidal t-norm based logic MTL
• On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
• MNiBLoS: a SMT-based solver for continuous t-norm based logics and some of their modal expansions
• scientific article; zbMATH DE number 1735985 (Why is no real title available?)

This page was built for publication: Computational complexities of axiomatic extensions of monoidal t-norm based logic

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