Note on witnessed Gödel logics with Delta

DOI10.1016/j.apal.2009.05.011zbMath1183.03022OpenAlexW1975789524MaRDI 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

zbMATH Keywords

relative completenessGödel logicsdisentangled fragmentwitnessed interpretations

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Logic with extra quantifiers and operators (03C80)

Related Items (2)

On witnessed models in fuzzy logic III - witnessed Gödel logics ⋮ Gödel logics with monotone operators

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

This page was built for publication: Note on witnessed Gödel logics with Delta