A categorial approach to the combination of logics

Manuscrito 22 (2):69-94 (1999)
  Copy   BIBTEX


In this paper we propose a very general de nition of combination of logics by means of the concept of sheaves of logics. We first discuss some properties of this general definition 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 first 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.

Author's Profile

Marcelo E. Coniglio
University of Campinas


Added to PP

312 (#40,696)

6 months
49 (#59,166)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?