Monadic Fragments of Gödel Logics: Decidability and Undecidability Results

DOI10.1007/978-3-540-75560-9_8zbMath1138.03025OpenAlexW1998665045MaRDI QIDQ3498458

Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller

Publication date: 15 May 2008

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-75560-9_8

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Many-valued logic (03B50)

Related Items (9)

First-order nilpotent minimum logics: first steps ⋮ On fuzzy modal logics \(S5(\mathcal C)\) ⋮ Trakhtenbrot theorem and first-order axiomatic extensions of MTL ⋮ First-order satisfiability in Gödel logics: an NP-complete fragment ⋮ Triangular norm based predicate fuzzy logics ⋮ On transitive modal many-valued logics ⋮ SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability ⋮ Note on witnessed Gödel logics with Delta ⋮ Arithmetical complexity of fuzzy predicate logics -- a survey. II.

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Certain logical reduction and decision problems
• Continuous Fraïssé conjecture
• Metamathematics of fuzzy logic
• First-order Gödel logics
• Herbrand’s Theorem for Prenex Gödel Logic and Its Consequences for Theorem Proving
• A propositional calculus with denumerable matrix
• Die Unentscheidbarkeit der einstelligen unendlichwertigen Prädikatenlogik
• Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
• Decidability of some intuitionistic predicate theories

This page was built for publication: Monadic Fragments of Gödel Logics: Decidability and Undecidability Results