Ara mostrant els elements 1-1 de 1

    Operators and strong versions of sentential logics in Abstract Algebraic Logic 

    Albuquerque, Hugo Cardoso (Data de defensa: 2016-03-16)

    This dissertation presents the results of our research on some recent devel-opments in Abstract Algebraic Logic (AAL), namely on the Suszko operator, the Leibniz filters, and truth-equational logics. Part I builts and ...