|
|
An abstract study of completeness in infinitary logics
Lávička, Tomáš ; Noguera, Carles (advisor) ; Jeřábek, Emil (referee) ; Moraschini, Tommaso (referee)
In this thesis we study completeness properties of infinitary propositional logics from the perspective of abstract algebraic logic. The goal is to under- stand how the basic tool in proofs of completeness, the so called Linden- baum lemma, generalizes beyond finitary logics. To this end, we study few properties closely related to the Lindenbaum lemma (and hence to com- pleteness properties). We will see that these properties give rise to a new hierarchy of infinitary propositional logic. We also study these properties in scenarios when a given logic has some (possibly very generally defined) connectives of implication, disjunction, and negation. Among others, we will see that presence of these connectives can ensure provability of the Lin- denbaum lemma. Keywords: abstract algebraic logic, infinitary logics, Lindenbaum lemma, disjunction, implication, negation
|
|
|
Usuzování s nekonzistentními informacemi
Přenosil, Adam ; Bílková, Marta (advisor) ; Noguera, Carles (referee) ; Jansana, Ramon (referee)
This thesis studies the extensions of the four-valued Belnap-Dunn logic, called super-Belnap logics, from the point of view of abstract algebraic logic. We describe the global structure of the lattice of super-Belnap logics and show that this lattice can be fully described in terms of classes of finite graphs satisfying some closure conditions. We also introduce a theory of so- called explosive extensions and use it to prove new completeness theorems for super-Belnap logics. A Gentzen-style proof theory for these logics is then developed and used to establish interpolation for many of them. Finally, we also study the expansion of the Belnap-Dunn logic by the truth operator ∆. Keywords: abstract algebraic logic, Belnap-Dunn logic, paraconsistent logic, super-Belnap logics
|
|
|
Classification of (in)finitary logics
Lávička, Tomáš ; Noguera, Carles (advisor) ; Botur, Michal (referee)
In this master thesis we investigate completeness theorems in the framework of abstract algebraic logic. Our main interest lies in the completeness with respect to the so called relatively (finitely) subdirectly irreducible models. Notable part of the presented theory concerns the difference between finitary and infinitary logical systems. We focus on the well-known fact that the completeness theorem with respect to relatively (finitely) subdirectly irreducible models can be proven in general for all finitary logics and we discuss the possible of generalizing this theorem even to infinitary logics. We show that there are two interesting inter- mediate properties between this completeness and finitarity, namely (completely) intersection-prime extension properties. Based on these notions we define five classes of logics and propose a new hierarchy of finitary and infinitary logics. As a main contribution of this dissertation we present an example of a logic separat- ing some of these classes. Keywords: Abstract algebraic logic, completeness, relatively (finitely) sub- directly irreducible models, RSI-completeness, RFSI-completeness, (completely) intersection-prime extension property, IPEP, CIPEP.
|
guest ::
