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

Marcelo E. Coniglio
University of Campinas
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.
Keywords combining logics  possible-translations semantics  category theory
Categories (categorize this paper)
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Limits for Paraconsistent Calculi.Walter A. Carnielli & João Marcos - 1999 - Notre Dame Journal of Formal Logic 40 (3):375-390.

Add more references

Citations of this work BETA

Limits for Paraconsistent Calculi.Walter A. Carnielli & João Marcos - 1999 - Notre Dame Journal of Formal Logic 40 (3):375-390.
Combining Valuations with Society Semantics.Víctor L. Fernández & Marcelo E. Coniglio - 2003 - Journal of Applied Non-Classical Logics 13 (1):21-46.

Add more citations

Similar books and articles

Combining Logics.Walter Carnielli & Marcelo E. Coniglio - 2008 - Stanford Encyclopedia of Philosophy.
Combining Algebraizable Logics.A. Jánossy, Á Kurucz & Á. E. Eiben - 1996 - Notre Dame Journal of Formal Logic 37 (2):366-380.
Fibred Semantics for Feature-Based Grammar Logic.Jochen Dörre, Esther König & Dov Gabbay - 1996 - Journal of Logic, Language and Information 5 (3-4):387-422.
Juxtaposition: A New Way to Combine Logics.Joshua Schechter - 2011 - Review of Symbolic Logic 4 (4):560-606.
A Paraconsistentist Approach to Chisholm's Paradox.Marcelo Esteban Coniglio & Newton Marques Peron - 2009 - Principia: An International Journal of Epistemology 13 (3):299-326.
Importing Logics.João Rasga, Amílcar Sernadas & Cristina Sernadas - 2012 - Studia Logica 100 (3):545-581.


Added to PP index

Total views
178 ( #51,236 of 2,371,808 )

Recent downloads (6 months)
17 ( #41,133 of 2,371,808 )

How can I increase my downloads?


My notes