Gabriel Bittencourt Rios

collaborators

2 papers

math.LO2023

On homotopical and cohomological interpretations of Logic

Thiago Alexandre, Gabriel Bittencourt Rios, Hugo Luiz Mariano

Building over some ideas of René Guitart, we provide a categorical framework towards some deviation notions in abstract logic.

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…

On homotopical and cohomological interpretations of Logic

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

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