Arithmetical complexity of fuzzy predicate logics -- a survey. II.

DOI10.1016/J.APAL.2009.05.015zbMath1182.03050OpenAlexW1982983300MaRDI QIDQ1035656

Petr Hájek

Publication date: 4 November 2009

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2009.05.015

zbMATH Keywords

arithmetical hierarchytautologiesfuzzy predicate logics

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Hierarchies of computability and definability (03D55)

Related Items (4)

First-order nilpotent minimum logics: first steps ⋮ Introduction ⋮ Triangular norm based predicate fuzzy logics ⋮ SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fuzzy logic and arithmetical hierarchy. II
• Arithmetical complexity of fuzzy predicate logics -- a survey
• Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results
• Metamathematics of fuzzy logic
• A proof of standard completeness for Esteva and Godo's logic MTL
• Monadic fuzzy predicate logics
• Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\)
• On the predicate logics of continuous t-norm BL-algebras
• Fuzzy logic and arithmetical hierarchy
• Triangular norm based predicate fuzzy logics
• First-order Gödel logics
• Making fuzzy description logic more general
• On arithmetical complexity of fragments of prominent fuzzy predicate logics
• Die Unentscheidbarkeit der einstelligen unendlichwertigen Prädikatenlogik
• On theories and models in fuzzy predicate logics
• Monadic Fragments of Gödel Logics: Decidability and Undecidability Results
• A note on the first‐order logic of complete BL‐chains
• Complexity Issues in Axiomatic Extensions of Lukasiewicz Logic
• SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability
• Super-Łukasiewicz propositional logics
• Kripke‐style semantics for many‐valued logics
• Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic
• On witnessed models in fuzzy logic II
• A non-arithmetical Gödel logic
• Fuzzy logic and arithmetical hierarchy. III
• Three complexity problems in quantified fuzzy logic

This page was built for publication: Arithmetical complexity of fuzzy predicate logics -- a survey. II.