Institute of Information Theory and Automation

You are here

Bibliography

Journal Article

A new hierarchy of infinitary logics in abstract algebraic logic

Lávička Tomáš, Noguera Carles

: Studia Logica vol.105, 3 (2017), p. 521-551

: GA13-14654S, GA ČR, 689176, EC

: Abstract algebraic logic, consequence relations, infinitary logics, completeness properties

: 10.1007/s11225-016-9699-3

: http://library.utia.cas.cz/separaty/2017/MTR/noguera-0469118.pdf

(eng): 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.

: BA

: 10101

2019-01-07 08:39