On the classification of first order Gödel logics

DOI10.1016/J.APAL.2018.08.010zbMath1445.03034OpenAlexW2887494859MaRDI QIDQ1616771

Matthias Baaz, Norbert Preining

Publication date: 7 November 2018

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.2018.08.010

zbMATH Keywords

validitysatisfiabilityaxiomatizabilitydelta operatorGödel logics

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Many-valued logic (03B50) Intermediate logics (03B55)

Related Items (2)

The Löwenheim-Skolem theorem for Gödel logic ⋮ Ten problems in Gödel logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Continuous Fraïssé conjecture
• Descriptive set theory
• Metamathematics of fuzzy logic
• Deciding logics of linear Kripke frames with scattered end pieces
• First-order Gödel logics
• Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences

This page was built for publication: On the classification of first order Gödel logics