Graduate studies at Western
Logica Universalis 1 (2):377-416 (2007)
|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)|
|Through your library||Configure|
Similar books and articles
Gerard R. Renardel De Lavalette (1989). Interpolation in Fragments of Intuitionistic Propositional Logic. Journal of Symbolic Logic 54 (4):1419 - 1430.
W. J. Blok & J. G. Raftery (2004). Fragments of R-Mingle. Studia Logica 78 (1-2):59 - 106.
Vladimir L. Vasyukov (2007). Structuring the Universe of Universal Logic. Logica Universalis 1 (2):277-294.
Amílcar Sernadas (2000). Fibring Logics, Dov M. Gabbay. Journal of Logic, Language and Information 9 (4):511-513.
Carlos Caleiro & Jaime Ramos (2007). From Fibring to Cryptofibring. A Solution to the Collapsing Problem. Logica Universalis 1 (1):71-92.
Cristina Sernadas, João Rasga & Walter A. Carnielli (2002). Modulated Fibring and the Collapsing Problem. Journal of Symbolic Logic 67 (4):1541-1569.
Dov M. Gabbay (1999). Fibring Logics. Clarendon Press.
C. Caleiro, W. A. Carnielli, M. E. Coniglio, A. Sernadas & C. Sernadas (2003). Fibring Non-Truth-Functional Logics: Completeness Preservation. [REVIEW] Journal of Logic, Language and Information 12 (2):183-211.
Alberto Zanardo, Amilcar Sernadas & Cristina Sernadas (2001). Fibring: Completeness Preservation. Journal of Symbolic Logic 66 (1):414-439.
Roman Kontchakov, Carsten Lutz, Frank Wolter & Michael Zakharyaschev (2004). Temporalising Tableaux. Studia Logica 76 (1):91 - 134.
Added to index2009-01-28
Total downloads3 ( #213,434 of 722,935 )
Recent downloads (6 months)1 ( #61,087 of 722,935 )
How can I increase my downloads?