Showing math.LOShow all
2 papers · 1 filter
math.LO2021
Congruence Filter Pairs, Adjoints and Leibniz Hierarchy
Peter Arndt, Hugo Luiz Mariano, Darllan Conceição Pinto
We review the notion of (finitary) filter pair as a tool for creating and analyzing logics. A filter pair can be seen as a presentation of a logic, given by presenting its lattice…
math.LO2020
Connecting abstract logics and adjunctions in the theory of (-)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 -institutions. This is done at b…