Modulated Fibring and The Collapsing Problem

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.

[1]  Cristina Sernadas,et al.  Fibring of Logics as a Categorial Construction , 1999, J. Log. Comput..

[2]  Gonzalo E. Reyes,et al.  Bi-Heyting algebras, toposes and modalities , 1996, J. Philos. Log..

[3]  Nicolas D. Goodman,et al.  The Logic of Contradiction , 1981, Math. Log. Q..

[4]  Cristina Sernadas,et al.  Fibring: completeness preservation , 2001, Journal of Symbolic Logic.

[5]  Walter Alexandre Carnielli,et al.  Systematization of finite many-valued logics through the method of tableaux , 1987, Journal of Symbolic Logic.

[6]  S. Gottwald.  A Treatise on Many-Valued Logics , 2001 .

[7]  Walter Alexandre Carnielli,et al.  Limits for Paraconsistent Calculi , 1999, Notre Dame J. Formal Log..

[8]  Cristina Sernadas,et al.  Fibring Non-Truth-Functional Logics: Completeness Preservation , 2003, J. Log. Lang. Inf..

[9]  Walter Carnielli.  Tableau Systems for Logics of Formal Inconsistency , 2001 .

[10]  Dov M. Gabbay,et al.  Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics , 1996, Journal of Symbolic Logic.

[11]  N. Rescher.  Many Valued Logic , 1969 .

[12]  W. Carnielli,et al.  A Taxonomy of C-systems , 2001 .

[13]  L. F. D. Cerro,et al.  Combining Classical and Intuitionistic Logic , 1996 .

[14]  M. de Rijke,et al.  Why Combine Logics? , 1997, Stud Logica.

[15]  Dov M. Gabbay,et al.  An Overview of Fibred Semantics and the Combination of Logics , 1996, FroCoS.

[16]  Cristina Sernadas,et al.  Fibring Modal First-Order Logics: Completeness Preservation , 2002, Log. J. IGPL.

[17]  Luca Viganò,et al.  Fibring Labelled Deduction Systems , 2002, J. Log. Comput..

[18]  L. Bolc,et al.  Many-Valued Logics , 1992 .