8 citations · 15 across the 7 of their papers we have counts for
Showing 2016 · math.LOShow all
2 papers · 2 filters
math.LO2016★ 6 cited
An abstract approach to Glivenko's theorem
Darllan Conceição Pinto, Hugo Luiz Mariano
The aim of this work is to provide a special kind of conservative translation between abstract logics, namely an \textit{abstract Glivenko's theorem}. Firstly we define institution…
math.LO2016★ 1 cited
Remarks on Propositional Logics and the categorial relationship between Institutions and Π-Institutions
Darllan Conceição Pinto, Hugo Luiz Mariano
In this work we explore some applications of the notions of Institution and Π-Institution in the setting of propositional logics and establish a precise categorial relation between…