0469168 20240103213401.320170116235959.9 84974695790 000377662400006 10.1093/jigpal/jzw009 25 s. P cav_un_epca*02583581367-0751243 (2016)321-345Oxford University Press Löwenheim-Skolem theorems first-order predicate logics non-classical logics algebraizable logics model theory cav_un_auth*0311883 Dellunde P. ES cav_un_auth*0343841 García-Cerdaña A. ES cav_un_auth*0293476 Matematická teorie rozhodování Department of Decision Making Theory MTR MTR Department of Decision Making Theory Noguera Carles UTIA-B K Ústav teorie informace a automatizace AV ČR, v. v. i. http://library.utia.cas.cz/separaty/2016/MTR/noguera-0469168.pdf cav_un_auth*0292719 GA13-14654S GA ČR This paper 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) Löwenheim-Skolem theorems for these non-classical logics, by direct proofs and by describing their models as classical 2-sorted models. BA 2017 RVO:67985556 http://hdl.handle.net/11104/0269405 S 1 Article Mathematics Applied|Mathematics|Logic MATHEMATICS|MATHEMATICS.APPLIED|LOGIC 0.596 0.073 6.5 0.0015 0.37 373 0.430 Q1 0.500 55 Q3 27.853 35.4 Q3 Q2 45.238 2016 84974695790 SCOPUS PUBMED 000377662400006 WOS cav_un_epca*0258358 Logic Journal of the IGPL 1367-0751 1368-9894 Roč. 24 č. 3 2016 321 345 Oxford University Press