Journal of Symbolic Logic

Modulated fibring and the collapsing problem

Walter A. Carnielli, João Rasga, and Cristina Sernadas

Full-text: Access denied (no subscription detected)

We're sorry, but we are unable to provide you with the full text of this article because we are not able to identify you as a subscriber. If you have a personal subscription to this journal, then please login. If you are already logged in, then you may need to update your profile to register your subscription. Read more about accessing full-text

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.

Article information

Source
J. Symbolic Logic, Volume 67, Issue 4 (2002), 1541-1569.

Dates
First available in Project Euclid: 18 September 2007

Permanent link to this document
https://projecteuclid.org/euclid.jsl/1190150298

Digital Object Identifier
doi:10.2178/jsl/1190150298

Mathematical Reviews number (MathSciNet)
MR1955251

Zentralblatt MATH identifier
1043.03010

Subjects
Primary: 03B22: Abstract deductive systems

Citation

Sernadas, Cristina; Rasga, João; Carnielli, Walter A. Modulated fibring and the collapsing problem. J. Symbolic Logic 67 (2002), no. 4, 1541--1569. doi:10.2178/jsl/1190150298. https://projecteuclid.org/euclid.jsl/1190150298


Export citation