.
Centre for Logic, Epistemology and the History of Science (CLE)

Main Page

Articles

Editorial Board

Rules and Instructions
Sites Pointing to CLE e-Prints

CLE e-Prints eletronic version
ISSN 1519-9681
CLE e-Prints printed version 
ISSN 1519-9614
..
Vol. 1(2), 2001 (Section Logic)
.
Modulated Fibring and the Collapsing Problem
.
C. Sernadas
J. Rasga
W.A. Carnielli
Personal web-page
.
.
Date Posted: June, 21st 2001
Download Files:  [PS]   [PDF]
.

Publication Information
The final version of this paper is published as:
.
C. Sernadas, J. Rasga, W.A. Carnielli, "Modulated fibring and the collapsing problem". Journal of Symbolic Logic, 67, no. 4, pp. 1541-1569, 2002.

.
.
Abstract
.
Fibring is recognized as one of the main mechanisms in combining logics, with great significance in the theory and applications of mathematical logic.
However, an open challenge to fibring is posed by the collapsing problem: even when no symbols are shared, certain combinations of logics simply collapse to one of them, indicating that fibring imposes unwanted interconnections between the given logics. Modulated fibring allows a finer control of the combination, solving the collapsing problem both at the semantic and deductive levels. Main properties like soundness and completeness are shown to be preserved, comparison with fibring is discussed, and some important classes of examples are analyzed with respect to the collapsing problem.
.
.
.
BACK
.
© 2001 - Centro de Lógica, Epistemologia e História da Ciência - CLE
Last Update: March, 20th, 2002
Problems, sugestions and questions about this site?
contact:webmaster@cle.unicamp.br