| Identifikační kód |
RIV/67985556:_____/17:00469118 |
| Název v anglickém jazyce |
A new hierarchy of infinitary logics in abstract algebraic logic |
| Druh |
J - Recenzovaný odborný článek (Jimp, Jsc a Jost) |
| Poddruh |
J/A - Článek v odborném periodiku je obsažen v databázi Web of Science společností Thomson Reuters s příznakem „Article“, „Review“ nebo „Letter“ (Jimp) |
| Jazyk |
eng - angličtina |
| Vědní obor |
10101 - Pure mathematics |
| Rok uplatnění |
2017 |
| Kód důvěrnosti údajů |
S - Úplné a pravdivé údaje o výsledku nepodléhající ochraně podle zvláštních právních předpisů. |
| Počet výskytů výsledku |
4 |
| Počet tvůrců celkem |
2 |
| Počet domácích tvůrců |
1 |
| Výčet všech uvedených jednotlivých tvůrců |
Carles Noguera (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 1218581, orcid: 0000-0003-4910-599X, researcherid: C-7069-2013)
Tomáš Lávička (státní příslušnost: CZ - Česká republika) |
| Popis výsledku v anglickém jazyce |
In this article we investigate infinitary propositional logics from the perspective of their completeness properties in abstract algebraic logic. It is well-known that every finitary logic is complete with respect to its relatively (finitely) subdirectly irreducible models. We identify two syntactical notions formulated in terms of (completely) intersection-prime theories that follow from finitarity and are sufficient conditions for the aforementioned completeness properties. We construct all the necessary counterexamples to show that all these properties define pairwise different classes of logics. Consequently, we obtain a new hierarchy of logics going beyond the scope of finitarity. |
| Klíčová slova oddělená středníkem |
Abstract algebraic logic;consequence relations;infinitary logics;completeness properties |
| Stránka www, na které se nachází výsledek |
- |
| DOI výsledku |
10.1007/s11225-016-9699-3 |
| Odkaz na údaje z výzkumu |
- |