TY - RPRT TI - Connecting abstract logics and adjunctions in the theory of ($π$-)institutions: some theoretical remarks and applications AU - Gabriel Bittencourt Rios AU - Daniel de Almeida Souza AU - Darllan Conceição Pinto AU - Hugo Luiz Mariano PY - 2020 UR - https://arxiv.org/abs/2002.00298 ID - 2002.00298 ER -