Please use this identifier to cite or link to this item:
Title: Investigations into the role of translations in abstract algebraic logic
Author: Moraschini, Tommaso
Director: Font Llovet, Josep Maria
Jansana, Ramon
Keywords: Lògica algebraica
Algebraic logic
Deduction (Logic)
Issue Date: 8-Jun-2016
Publisher: Universitat de Barcelona
Abstract: [eng] This memoir is divided into two parts, devoted to two topics in (ab-stract) algebraic logic. In the first part we develop a hierarchy in which propositional logics “L” are classified according to the definability conditions enjoyed by the truth sets of the matrix semantics Mod* L. More precisely, we focus on conditions belonging to the conceptual framework of the Leibniz hierarchy, meaning that they can be characterized by means of the order-theoretic behaviour of the Leibniz operator. We study the class of logics such that truth is definable in Mod* L by means of universally quantified equations leaving one variable free. Then we study logics for which truth is implicitly definable in Mod* L and show that the injectivity of the Leibniz operator does not transfer in general from theories to filters over arbitrary algebras. Finally we consider an intermediate condition on the truth sets in Mod* L that corresponds to the order-reflection of the Leibniz operator. We conclude this part of the memoir by taking a computational glimpse to the Leibniz and Frege hierarchies. In the second part of this memoir we present an algebraic description of right adjoint functors between generalized quasi-varieties, inspired by the work of McKenzie. This result is achieved by developing a correspondence between the concept of adjunction and a new notion of translation between relative equational consequences. This correspondence provides a general explanation of the correspondence that appears in some well-known trans-lations between logics, e.g., Godel's translation of intuitionistic logic into the gobal modal logic 84 corresponds to the functor that takes an interior algebra to the Heyting algebra of its open elements and Kolmogorov's translation of classical logic into intuitionistic logic corresponds to the functor that takes a Heyting algebra to the Boolean algebra of its regular elements.
Appears in Collections:Tesis Doctorals - Departament - Lògica, Història i Filosofia de la Ciència

Files in This Item:
File Description SizeFormat 

This item is licensed under a Creative Commons License Creative Commons