8 citations · 15 across the 4 of their papers we have counts for
4 papers
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…
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…
Distributive abstract logics and the Esakia duality
Andreas B. M. Brunner, Darllan Conceição Pinto
In this paper we develop an almost general process to switch from abstract logics in the sense of Brown and Suszko to lattices. With this method we can establish dualities between…
Representation theory of logics: a categorial approach
Darllan Conceição Pinto, Hugo Luiz Mariano
The major concern in the study of categories of logics is to describe condition for preservation, under the a method of combination of logics, of meta-logical properties. Our compl…