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 index
2014-03-22

Total views
212 ( #28,775 of 2,448,312 )

Recent downloads (6 months)
13 ( #41,835 of 2,448,312 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.