A categorial approach to the combination of logics

Manuscrito 22 (2):69-94 (1999)
Download Edit this record How to cite View on PhilPapers
Abstract
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.
PhilPapers/Archive ID
CARACA-11
Upload history
Archival date: 2016-02-29
View other versions
Added to PP
2014-03-22

Downloads
246 (#31,863)

6 months
14 (#51,332)

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?