8 citations · 15 across the 7 of their papers we have counts for
3 papers · 1 filter
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…