8 citations · 15 across the 7 of their papers we have counts for
Showing math.CTShow all
2 papers · 1 filter
math.CT2014
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…
math.CT2014★ 8 cited
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…