Arithmetical complexity of fuzzy predicate logics -- a survey
From MaRDI portal
Publication:816865
DOI10.1007/S00500-004-0448-6zbMATH Open1093.03012OpenAlexW2011526622MaRDI QIDQ816865FDOQ816865
Publication date: 2 March 2006
Published in: Soft Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00500-004-0448-6
Recommendations
- Arithmetical complexity of fuzzy predicate logics -- a survey. II.
- On arithmetical complexity of fragments of prominent fuzzy predicate logics
- Fuzzy logic and arithmetical hierarchy. III
- Fuzzy logic and arithmetical hierarchy. IV
- Arithmetical complexity of first-order predicate fuzzy logics over distinguished semantics
Fuzzy logic; logic of vagueness (03B52) Other algebras related to logic (03G25) Complexity of computation (including implicit computational complexity) (03D15)
Cites Work
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Algebraic foundations of many-valued reasoning
- Title not available (Why is that?)
- A proof of standard completeness for Esteva and Godo's logic MTL
- On the predicate logics of continuous t-norm BL-algebras
- Varieties of BL-algebras. I: General properties.
- Hoops and Fuzzy Logic
- Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\)
- Kripke‐style semantics for many‐valued logics
- Herbrand’s Theorem for Prenex Gödel Logic and Its Consequences for Theorem Proving
- Axiomatizability of some many valued predicate calculi
- Fuzzy logic and arithmetical hierarchy. IV
- Title not available (Why is that?)
- Title not available (Why is that?)
- Fuzzy logic and arithmetical hierarchy. III
- Three complexity problems in quantified fuzzy logic
Cited In (26)
- A note on the first‐order logic of complete BL‐chains
- Complexity of fuzzy probability logics
- Approximation and universality of fuzzy Turing machines
- Lattice-valued fuzzy Turing machines: computing power, universality and efficiency
- Fuzzy logic and arithmetical hierarchy. IV
- Complex Fuzzy Sets and Complex Fuzzy Logic an Overview of Theory and Applications
- Title not available (Why is that?)
- Some Complexity Results on Fuzzy Description Logics
- Herbrand Theorems and Skolemization for Prenex Fuzzy Logics
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- Mathematical fuzzy logic -- what it can learn from Mostowski and Rasiowa
- On theories and models in fuzzy predicate logics
- Complexity of t-tautologies
- Notes on Strong Completeness in Łukasiewicz, Product and BL Logics and in Their First-Order Extensions
- Arithmetical complexity of fuzzy predicate logics -- a survey. II.
- On the predicate logics of continuous t-norm BL-algebras
- Triangular norm based predicate fuzzy logics
- What is mathematical fuzzy logic
- Monadic fuzzy predicate logics
- Complexity of fuzzy probability logics. II
- Approximation and robustness of fuzzy finite automata
- Fuzzy Positive Primitive Formulas
- Mathematical Fuzzy Logics
- Fuzzy logic and arithmetical hierarchy. III
- Three complexity problems in quantified fuzzy logic
- On arithmetical complexity of fragments of prominent fuzzy predicate logics
This page was built for publication: Arithmetical complexity of fuzzy predicate logics -- a survey
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q816865)
