Löwenheim-Skolem theorems for non-classical first-order algebraizable logics

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985556%3A_____%2F16%3A00469168" target="_blank" >RIV/67985556:_____/16:00469168 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.1093/jigpal/jzw009" target="_blank" >http://dx.doi.org/10.1093/jigpal/jzw009</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1093/jigpal/jzw009" target="_blank" >10.1093/jigpal/jzw009</a>

Result language
angličtina
Original language name
Löwenheim-Skolem theorems for non-classical first-order algebraizable logics
Original language description
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.
Czech name
—
Czech description
—

Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
BA - General mathematics
OECD FORD branch
—

Project
<a href="/en/project/GA13-14654S" target="_blank" >GA13-14654S: An Order-Based Approach to Non-Classical Propositional and Predicate Logics</a><br>
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year
2016
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)