Pàgina inicial > Resultats de la cerca: Algebraizable logics
  Consells de cerca
Cerca avançada
Cerca col·leccions:
Ordena'ls per: Mostrar els resultats: Format de visualizació:
Resultats globals: 1 registres trobats en 0.02 segons.
Articles, 1 registres trobats
Articles 1 registres trobats  
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 (IIIA-CSIC)) ; 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  
Registre complet -

Us interessa rebre alertes sobre nous resultats d'aquesta cerca?
Definiu una alerta personal via correu electrònic o subscribiu-vos al canal RSS.
Dipòsit Digital de Documents de la UAB :: Cerca :: Lliura :: Personalitza :: Ajuda
Powered by Invenio v1.1.6
Mantingut per ddd.bib@uab.cat  :: Metadades subjectes a:
Col·laborem