Translator Disclaimer
December 2002 Modulated fibring and the collapsing problem
Walter A. Carnielli, João Rasga, Cristina Sernadas
J. Symbolic Logic 67(4): 1541-1569 (December 2002). DOI: 10.2178/jsl/1190150298

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.

Citation

Download Citation

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

Information

Published: December 2002
First available in Project Euclid: 18 September 2007

zbMATH: 1043.03010
MathSciNet: MR1955251
Digital Object Identifier: 10.2178/jsl/1190150298

Subjects:
Primary: 03B22

Rights: Copyright © 2002 Association for Symbolic Logic

JOURNAL ARTICLE
29 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.67 • No. 4 • December 2002
Back to Top