8 citations · 15 across the 7 of their papers we have counts for
8 papers
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…
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…
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…
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…
Algebraizable Logics and a functorial encoding of its morphisms
Darllan Conceição Pinto, Hugo Luiz Mariano
The present work presents some results about the categorial relation between logics and its categories of structures. A (propositional, finitary) logic is a pair given by a signatu…
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…