Löwenheim-Skolem theorems for non-classical first-order algebraizable logics

DOI10.1093/JIGPAL/JZW009MaRDI QIDQ4644543zbMATH OpenOpenAlexFDO

Authors Àngel García-Cerdaña, Carles Noguera, Pilar Dellunde

Publication date 8 January 2019

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/jzw009

zbMATH Keywords

algebraizable logicsfirst-order predicate logicsLöwenheim-Skolem theoremsmodel theorynon-classical logics

Mathematics Subject Classification ID

Basic properties of first-order languages and structures (03C07) Abstract algebraic logic (03G27)

Recommendations

• scientific article; zbMATH DE number 3948232
• On modal logics of model-theoretic relations
• scientific article; zbMATH DE number 1163951
• A Henkin-style proof of completeness for first-order algebraizable logics
• Concerning some cylindric algebra versions of the downward Löwenheim- Skolem theorem

Cited in

(18)

• Fraïssé classes of graded relational structures
• Back-and-forth systems for fuzzy first-order models
• A Lindström theorem in many-valued modal logic over a finite MTL-chain
• Lindström theorems in graded model theory
• Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic
• On the existence of free models in fuzzy universal Horn classes
• The Löwenheim-Skolem theorem for Gödel logic
• Downward Löwenheim-Skolem theorem and interpolation in logics with constructors
• scientific article; zbMATH DE number 3948232 (Why is no real title available?)
• Notes on the model theory of DeMorgan logics
• scientific article; zbMATH DE number 1163951 (Why is no real title available?)
• scientific article; zbMATH DE number 1545072 (Why is no real title available?)
• scientific article; zbMATH DE number 2108953 (Why is no real title available?)
• A ``downwards Löwenheim-Skolem-Tarski theorem for specific uniform structures
• A Henkin-style proof of completeness for first-order algebraizable logics
• Characterisations of ${\varSigma }$-pure-injectivity in triangulated categories and applications to endocoperfect objects
• New foundations of reasoning via real-valued first-order logics
• Homomorphism preservation theorems for many-valued structures

This page was built for publication: Löwenheim-Skolem theorems for non-classical first-order algebraizable logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4644543)