Löwenheim-Skolem theorems for non-classical first-order algebraizable logics
From MaRDI portal
Publication:4644543
DOI10.1093/JIGPAL/JZW009zbMATH Open1405.03102OpenAlexW2401293881MaRDI QIDQ4644543FDOQ4644543
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
Recommendations
model theorynon-classical logicsalgebraizable logicsLöwenheim-Skolem theoremsfirst-order predicate logics
Cited In (15)
- Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Notes on the model theory of DeMorgan logics
- Fraïssé classes of graded relational structures
- Characterisations of ${\varSigma }$-pure-injectivity in triangulated categories and applications to endocoperfect objects
- Back-and-forth systems for fuzzy first-order models
- The Löwenheim-Skolem theorem for Gödel logic
- A Henkin-style proof of completeness for first-order algebraizable logics
- A ``downwards Löwenheim-Skolem-Tarski theorem for specific uniform structures
- Downward Löwenheim-Skolem theorem and interpolation in logics with constructors
- A Lindström theorem in many-valued modal logic over a finite MTL-chain
- Title not available (Why is that?)
- Lindström theorems in graded model theory
- On the existence of free models in fuzzy universal Horn classes
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)
