SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability

DOI10.1007/978-3-642-02261-6_10zbMath1246.03046OpenAlexW2140826798MaRDI QIDQ3638278

Norbert Preining, Matthias Baaz, Agata Ciabattoni

Publication date: 2 July 2009

Published in: Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02261-6_10

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Decidability of theories and sets of sentences (03B25)

Related Items (3)

First-order nilpotent minimum logics: first steps ⋮ First-order satisfiability in Gödel logics: an NP-complete fragment ⋮ Arithmetical complexity of fuzzy predicate logics -- a survey. II.

Cites Work

• Unnamed Item
• Unnamed Item
• Certain logical reduction and decision problems
• Continuous Fraïssé conjecture
• Arithmetical complexity of fuzzy predicate logics -- a survey. II.
• Metamathematics of fuzzy logic
• Embedding logics into product logic
• Monadic fuzzy predicate logics
• First-order Gödel logics
• Herbrand’s Theorem for Prenex Gödel Logic and Its Consequences for Theorem Proving
• 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
• Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
• Decidability of some intuitionistic predicate theories

This page was built for publication: SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability