Please use this identifier to cite or link to this item:
Type: Artigo de periódico
Title: Modulated fibring and the collapsing problem
Author: Sernadas, C
Rasga, J
Carnielli, WA
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.
Country: EUA
Editor: Assoc Symbolic Logic, Inc
Rights: aberto
Identifier DOI: 10.2178/jsl/1190150298
Date Issue: 2002
Appears in Collections:Unicamp - Artigos e Outros Documentos

Files in This Item:
File Description SizeFormat 
WOS000181067000016.pdf3.25 MBAdobe PDFView/Open

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.