Arithmetical complexity of fuzzy predicate logics -- a survey

DOI10.1007/s00500-004-0448-6zbMath1093.03012OpenAlexW2011526622MaRDI QIDQ816865

Petr Hájek

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

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Complexity of computation (including implicit computational complexity) (03D15) Other algebras related to logic (03G25)

Related Items

Mathematical fuzzy logic -- what it can learn from Mostowski and Rasiowa ⋮ Mathematical Fuzzy Logics ⋮ Herbrand Theorems and Skolemization for Prenex Fuzzy Logics ⋮ A note on the first‐order logic of complete BL‐chains ⋮ Complex Fuzzy Sets and Complex Fuzzy Logic an Overview of Theory and Applications ⋮ On arithmetical complexity of fragments of prominent fuzzy predicate logics ⋮ Approximation and universality of fuzzy Turing machines ⋮ Notes on Strong Completeness in Łukasiewicz, Product and BL Logics and in Their First-Order Extensions ⋮ What is mathematical fuzzy logic ⋮ Triangular norm based predicate fuzzy logics ⋮ Approximation and robustness of fuzzy finite automata ⋮ Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies ⋮ Arithmetical complexity of fuzzy predicate logics -- a survey. II. ⋮ On theories and models in fuzzy predicate logics ⋮ Lattice-valued fuzzy Turing machines: computing power, universality and efficiency

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• A proof of standard completeness for Esteva and Godo's logic MTL
• Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\)
• On the predicate logics of continuous t-norm BL-algebras
• Varieties of BL-algebras. I: General properties.
• Algebraic foundations of many-valued reasoning
• Herbrand’s Theorem for Prenex Gödel Logic and Its Consequences for Theorem Proving
• Axiomatizability of some many valued predicate calculi
• Hoops and Fuzzy Logic
• Kripke‐style semantics for many‐valued logics
• Fuzzy logic and arithmetical hierarchy. III
• Three complexity problems in quantified fuzzy logic