Gabriel Bittencourt Rios, Daniel de Almeida Souza, Darllan Coneição Pinto, Hugo Luiz Mariano. Connecting abstract logics and adjunctions in the theory of (π-) institutions: Some theoretical remarks and applications. FLAP, 9(1):445-494, 2022. [doi]
@article{RiosSPM22,
title = {Connecting abstract logics and adjunctions in the theory of (π-) institutions: Some theoretical remarks and applications},
author = {Gabriel Bittencourt Rios and Daniel de Almeida Souza and Darllan Coneição Pinto and Hugo Luiz Mariano},
year = {2022},
url = {https://collegepublications.co.uk/ifcolog/?00053},
researchr = {https://researchr.org/publication/RiosSPM22},
cites = {0},
citedby = {0},
journal = {FLAP},
volume = {9},
number = {1},
pages = {445-494},
}