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

Kód výsledku v 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>

Výsledek na webu

<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>

Jazyk výsledku

angličtina

Název v původním jazyce

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

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

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

Popis výsledku anglicky

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.

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

<a href="/cs/project/GA13-14654S" target="_blank" >GA13-14654S: Neklasické výrokové a predikátové logiky: přístup založený na uspořádání</a><br>

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2016

Kód důvěrnosti údajů

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

Název periodika

Logic Journal of the IGPL

ISSN

1367-0751

e-ISSN

—

Svazek periodika

24

Číslo periodika v rámci svazku

3

Stát vydavatele periodika

GB - Spojené království Velké Británie a Severního Irska

Počet stran výsledku

25

Strana od-do

321-345

Kód UT WoS článku

000377662400006

EID výsledku v databázi Scopus

2-s2.0-84974695790