A categorial approach to the combination of logics
Walter Alexandre Carnielli, Marcelo E. Coniglio · PhilPapers (PhilPapers Foundation) · 1999
In this paper we propose a very general de nition of combination of logics by means of the concept of sheaves of logics.We rst discuss some properties of this general de nition and list some problems, as well as connections to related work.As applications of our abstract setting, we show that the notion of possible-translations semantics, introduced in previous papers by the rst author, can be described in categorial terms.Possible-translations semantics constitute illustrative cases, since they provide a new semantical account for abstract logical systems, particularly for many-valued and paraconsistent logics.