Abstract | ||
---|---|---|
This article is a contribution to the model theory of non-classical first-order predicate logics. In a wide framework of first-order systems based on algebraizable logics, we study several notions of homomorphisms between models and find suitable definitions of elementary homomorphism, elementary substructure and elementary equivalence. Then we obtain (downward and upward) Lowenheim-Skolem theorem... |
Year | DOI | Venue |
---|---|---|
2016 | 10.1093/jigpal/jzw009 | Logic Journal of the IGPL |
Keywords | Field | DocType |
Lowenheim-Skolem theorems,first-order predicate logics,non-classical logics,algebraizable logics,model theory | Discrete mathematics,Czech,First order,Algorithm,Model theory,Löwenheim–Skolem theorem,Mathematics | Journal |
Volume | Issue | ISSN |
24 | 3 | 1367-0751 |
Citations | PageRank | References |
5 | 0.46 | 10 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Pilar Dellunde | 1 | 156 | 22.63 |
Àngel García-Cerdaña | 2 | 71 | 10.05 |
Carles Noguera | 3 | 462 | 33.93 |