Monadic Fragments of Gödel Logics: Decidability and Undecidability Results
From MaRDI portal
Publication:3498458
DOI10.1007/978-3-540-75560-9_8zbMATH Open1138.03025OpenAlexW1998665045MaRDI QIDQ3498458FDOQ3498458
Authors: 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
Recommendations
Cites Work
- Metamathematics of fuzzy logic
- A treatise on many-valued logics
- A propositional calculus with denumerable matrix
- Title not available (Why is that?)
- Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
- Title not available (Why is that?)
- Continuous Fraïssé conjecture
- First-order Gödel logics
- Herbrand's theorem for prenex Gödel logic and its consequences for theorem proving
- Certain logical reduction and decision problems
- Die Unentscheidbarkeit der einstelligen unendlichwertigen Prädikatenlogik
- Decidability of some intuitionistic predicate theories
Cited In (13)
- First-order nilpotent minimum logics: first steps
- Gödel logics with monotone operators
- SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability
- On transitive modal many-valued logics
- Tableau systems for some Ivlev-like (quantified) modal logics
- On fuzzy modal logics \(S5(\mathcal C)\)
- Monotone operators on Gödel logic
- Trakhtenbrot theorem and first-order axiomatic extensions of MTL
- Arithmetical complexity of fuzzy predicate logics -- a survey. II.
- Triangular norm based predicate fuzzy logics
- Note on witnessed Gödel logics with Delta
- Gödel logics and the fully boxed fragment of FO-LTL
- First-order satisfiability in Gödel logics: an NP-complete fragment
This page was built for publication: Monadic Fragments of Gödel Logics: Decidability and Undecidability Results
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3498458)
