Löwenheim–Skolem theorems for non-classical first-order algebraizable logics: Table 1.

DOI10.1093/jigpal/jzw009zbMath1405.03102OpenAlexW2401293881MaRDI QIDQ4644543

Àngel García-Cerdaña, Carles Noguera, Pilar Dellunde i Clavé

Publication date: 8 January 2019

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

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

zbMATH Keywords

model theoryalgebraizable logicsnon-classical logicsLöwenheim-Skolem theoremsfirst-order predicate logics

Mathematics Subject Classification ID

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

Related Items (7)

Fraïssé classes of graded relational structures ⋮ On the existence of free models in fuzzy universal Horn classes ⋮ Characterisations of ${\varSigma }$-pure-injectivity in triangulated categories and applications to endocoperfect objects ⋮ A Lindström theorem in many-valued modal logic over a finite MTL-chain ⋮ Lindström theorems in graded model theory ⋮ Back-and-forth systems for fuzzy first-order models ⋮ Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic

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