Computational complexities of axiomatic extensions of monoidal t-norm based logic
DOI10.1007/S00500-008-0382-0zbMATH Open1176.03009OpenAlexW1966849599MaRDI QIDQ2391235FDOQ2391235
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
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
computational complexitytautologynilpotent minimum t-normaxiomatic extension of monoidal t-norm-based logicleft-continuous strict t-normNMsatisfiable formulaSMTL
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)
Cites Work
- Title not available (Why is that?)
- On Fuzzy Logic I Many‐valued rules of inference
- Title not available (Why is that?)
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- A treatise on many-valued logics
- Title not available (Why is that?)
- 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
- A general method for constructing left-continuous t-norms
- On a class of left-continuous \(\text t\)-norms
- Observations on the monoidal t-norm logic
- Contrapositive symmetry of fuzzy implications
- Complexity of t-tautologies
- On equivalent forms of fuzzy logic systems NM and IMTL
- Title not available (Why is that?)
- Complexity issues in Basic Logic
- On expansions of WNM t-norm based logics with truth-constants
- \(R _{0}\) implication: Characteristics and applications
- Title not available (Why is that?)
- A characterization of truth-functions in the nilpotent minimum logic
- On triangular norm based axiomatic extensions of the weak nilpotent minimum logic
- NMŁ, a schematic extension of F. Esteva and L. Godo's logic MTL
- Basic fuzzy logic and BL-algebras. II
Cited In (6)
- First-order nilpotent minimum logics: first steps
- On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
- Title not available (Why is that?)
- Axiomatic Extensions of Hohle's Monoidal Logic
- Decidability of Cancellative Extension of Monoidal T-norm Based Logic
- A temporal semantics for nilpotent minimum logic
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)
