Investigations into the role of translations in abstract algebraic logic 

    Moraschini, Tommaso (Date of defense: 2016-06-08)

    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 ...