Connecting abstract logics and adjunctions in the theory of ($\pi$-)institutions: some theoretical remarks and applications

Gabriel Bittencourt Rios, Daniel de Almeida Souza, Darllan Conceição Pinto +1

In the present work, a natural sequel to \cite{MaPi1}, we further discuss the existence of adjunctions between categories of institutions and of $\pi$-institutions. This is done at b…