8 citations · 15 across the 7 of their papers we have counts for
Showing 2020 · math.LOShow all
2 papers · 2 filters
math.LO2020
Filter pairs and natural extensions of logics
Peter Arndt, Hugo Luiz Mariano, Darllan Conceição Pinto
We adjust the notion of finitary filter pair, which was coined for creating and analyzing finitary logics, in such a way that we can treat logics of cardinality , where is a…
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…