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

DOI10.1016/J.APAL.2009.05.015MaRDI QIDQ1035656zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Arithmetical complexity of fuzzy predicate logics -- a survey
• On arithmetical complexity of fragments of prominent fuzzy predicate logics
• Arithmetical complexity of first-order predicate fuzzy logics over distinguished semantics
• Fuzzy logic and arithmetical hierarchy. III
• Fuzzy logic and arithmetical hierarchy. IV

Cites work

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

Cited in

(10)

• First-order nilpotent minimum logics: first steps
• SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability
• Arithmetical complexity of first-order predicate fuzzy logics over distinguished semantics
• Triangular norm based predicate fuzzy logics
• Complexity of fuzzy probability logics. II
• Introduction
• Arithmetical complexity of fuzzy predicate logics -- a survey
• On arithmetical complexity of fragments of prominent fuzzy predicate logics
• 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.

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