Artículos publicados

Artículos publicados Encontrados 1 registros  La búsqueda tardó 0.00 segundos. 
1.
28 p, 370.2 KB 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) ; Noguera, Carles (Akademie věd České republiky)
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. [...]
2016 - 10.1093/jigpal/jzw009
Logic journal of the IGPL, Vol. 24, núm. 3 (2016) , p. 321-345  

¿Le interesa recibir alertas sobre nuevos resultados de esta búsqueda?
Defina una alerta personal vía correo electrónico o subscríbase al canal RSS.