Ten problems in Gödel logic
From MaRDI portal
Publication:1699740
DOI10.1007/s00500-016-2366-9zbMath1386.03024OpenAlexW2526982836WikidataQ55670563 ScholiaQ55670563MaRDI QIDQ1699740
Juan P. Aguilera, Matthias Baaz
Publication date: 23 February 2018
Published in: Soft Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00500-016-2366-9
Related Items (2)
First-order interpolation derived from propositional interpolation ⋮ The Löwenheim-Skolem theorem for Gödel logic
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Continuous Fraïssé conjecture
- Interpolation properties of superintuitionistic logics
- On the classification of first order Gödel logics
- First-order Gödel logics
- The Skolemization of existential quantifiers in intuitionistic logic
- Failure of Interpolation in Constant Domain Intuitionistic Logic
- Herbrand’s Theorem for Prenex Gödel Logic and Its Consequences for Theorem Proving
- Linear Kripke frames and Gödel logics
- Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type
- Hypersequent Calculi for Godel Logics -- a Survey
- Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences
This page was built for publication: Ten problems in Gödel logic
