Löwenheim-Skolem theorems for non-classical first-order algebraizable logics
Dellunde i Clavé, Pilar (Universitat Autònoma de Barcelona)
García-Cerdaña, Àngel (Institut d'Investigació en Intel·ligència Artificial (IIIA-CSIC))
Noguera, Carles (Akademie věd České republiky)
Date: |
2016 |
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 theorems for these non-classical logics, by direct proofs and by describing their models as classical two-sorted models. |
Rights: |
Tots els drets reservats. |
Language: |
Anglès |
Document: |
Article ; recerca ; Versió acceptada per publicar |
Subject: |
Lowenheim-Skolem theorems ;
First-order predicate logics ;
Non-classical logics ;
Algebraizable logics ;
Model theory |
Published in: |
Logic journal of the IGPL, Vol. 24, núm. 3 (2016) , p. 321-345, ISSN 1367-0751 |
DOI: 10.1093/jigpal/jzw009
Post-print
28 p, 370.2 KB
|
The record appears in these collections:
Articles >
Research articlesArticles >
Published articles
Record created 2016-05-23, last modified 2022-02-12