A new hierarchy of infinitary logics in abstract algebraic logic

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985556%3A_____%2F17%3A00469118" target="_blank" >RIV/67985556:_____/17:00469118 - isvavai.cz</a>

Nalezeny alternativní kódy

RIV/67985807:_____/17:00469118

Výsledek na webu

<a href="http://dx.doi.org/10.1007/s11225-016-9699-3" target="_blank" >http://dx.doi.org/10.1007/s11225-016-9699-3</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/s11225-016-9699-3" target="_blank" >10.1007/s11225-016-9699-3</a>

Jazyk výsledku

angličtina

Název v původním jazyce

A new hierarchy of infinitary logics in abstract algebraic logic

Popis výsledku v původní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.

Název v anglickém jazyce

A new hierarchy of infinitary logics in abstract algebraic logic

Popis výsledku anglicky

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.

Druh

J_imp - Článek v periodiku v databázi Web of Science

CEP obor

—

OECD FORD obor

10101 - Pure mathematics

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

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2017

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

Studia Logica

ISSN

0039-3215

e-ISSN

—

Svazek periodika

105

Číslo periodika v rámci svazku

3

Stát vydavatele periodika

NL - Nizozemsko

Počet stran výsledku

31

Strana od-do

521-551

Kód UT WoS článku

000401436800004

EID výsledku v databázi Scopus

2-s2.0-85007165633