The Löwenheim-Skolem theorem for Gödel logic

DOI10.1016/J.APAL.2022.103235OpenAlexW4313650233WikidataQ123013517 ScholiaQ123013517MaRDI QIDQ2683781

Juan P. Aguilera

Publication date: 15 February 2023

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

zbMATH Keywords

fuzzy logicGödel logicLöwenheim-Skolem theoremHanf number

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Many-valued logic (03B50) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Basic properties of first-order languages and structures (03C07)

Cites Work

• Unnamed Item
• Unnamed Item
• Metamathematics of fuzzy logic
• On the classification of first order Gödel logics
• Ten problems in Gödel logic
• First-order Gödel logics
• Compactness in first-order Godel logics

This page was built for publication: The Löwenheim-Skolem theorem for Gödel logic