A new hierarchy of infinitary logics in abstract algebraic logic

Result code in 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>
Alternative codes found
RIV/67985807:_____/17:00469118
Result on the web
<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>

Result language
angličtina
Original language name
A new hierarchy of infinitary logics in abstract algebraic logic
Original language description
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.
Czech name
—
Czech description
—

Type
J<sub>imp</sub> - Article in a specialist periodical, which is included in the Web of Science database
CEP classification
—
OECD FORD branch
10101 - Pure mathematics

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
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

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

Similar results(10)