Logica Universalis 1 (2):377-416 (2007)

Authors
Marcelo E. Coniglio
University of Campinas
Abstract
.  In this paper we address the question of recovering a logic system by combining two or more fragments of it. We show that, in general, by fibring two or more fragments of a given logic the resulting logic is weaker than the original one, because some meta-properties of the connectives are lost after the combination process. In order to overcome this problem, the categories Mcon and Seq of multiple-conclusion consequence relations and sequent calculi, respectively, are introduced. The main feature of these categories is the preservation, by morphisms, of meta-properties of the consequence relations, which allows, in several cases, to recover a logic by fibring of its fragments. The fibring in this categories is called meta−fibring. Several examples of well-known logics which can be recovered by meta-fibring its fragments (in opposition to fibring in the usual categories) are given. Finally, a general semantics for objects in Seq (and, in particular, for objects in Mcon) is proposed, obtaining a category of logic systems called Log. A general theorem of preservation of completeness by fibring in Log is also obtained.
Keywords Fibring  combinations of logics  sequent calculi
Categories (categorize this paper)
DOI 10.1007/s11787-007-0019-6
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 64,046
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

No references found.

Add more references

Citations of this work BETA

Juxtaposition: A New Way to Combine Logics.Joshua Schechter - 2011 - Review of Symbolic Logic 4 (4):560-606.
Combining Logics.Walter Carnielli & Marcelo E. Coniglio - 2008 - Stanford Encyclopedia of Philosophy.
To Distribute or Not to Distribute?Jean-Yves Béziau & Marcelo E. Coniglio - 2011 - Logic Journal of the IGPL 19 (4):466-583.

Add more citations

Similar books and articles

Analytics

Added to PP index
2009-01-28

Total views
42 ( #257,093 of 2,454,504 )

Recent downloads (6 months)
1 ( #449,188 of 2,454,504 )

How can I increase my downloads?

Downloads

My notes