Note on witnessed Gödel logics with Delta
From MaRDI portal
Publication:1035647
DOI10.1016/j.apal.2009.05.011zbMath1183.03022MaRDI QIDQ1035647
Matthias Baaz, Oliver Fasching
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.011
Related Items
Gödel logics with monotone operators, On witnessed models in fuzzy logic III - witnessed Gödel logics
Cites Work
- Unnamed Item
- Unnamed Item
- Continuous Fraïssé conjecture
- Another proof of the strong completeness of the intuitionistic fuzzy logic
- First-order Gödel logics
- On theories and models in fuzzy predicate logics
- Linear Kripke frames and Gödel logics
- Monadic Fragments of Gödel Logics: Decidability and Undecidability Results
- Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
- Completeness of global intuitionistic set theory