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

DOI10.1016/J.APAL.2009.05.015zbMATH Open1182.03050OpenAlexW1982983300MaRDI QIDQ1035656FDOQ1035656

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

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

zbMATH Keywords

arithmetical hierarchytautologiesfuzzy predicate logics

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (8)

• First-order nilpotent minimum logics: first steps
• SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability
• Triangular norm based predicate fuzzy logics
• Complexity of fuzzy probability logics. II
• Introduction
• Fuzzy logic and arithmetical hierarchy. III
• Three complexity problems in quantified fuzzy logic
• Arithmetical complexity of fuzzy predicate logics -- a survey

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)