Skip to main content
×
Home
    • Aa
    • Aa
  • Get access
    Check if you have access via personal or institutional login
  • Cited by 7
  • Cited by
    This article has been cited by the following publications. This list is generated based on data provided by CrossRef.

    Lewitzka, Steffen 2015. A modal logic amalgam of classical and intuitionistic propositional logic. Journal of Logic and Computation, p. exv048.


    Wu, Yin Jiang, Min Huang, Zhongqiang Chao, Fei and Zhou, Changle 2015. An NP-complete fragment of fibring logic. Annals of Mathematics and Artificial Intelligence, Vol. 75, Issue. 3-4, p. 391.


    Coniglio, M. E. Sernadas, A. and Sernadas, C. 2011. Preservation by fibring of the finite model property. Journal of Logic and Computation, Vol. 21, Issue. 2, p. 375.


    SCHECHTER, JOSHUA 2011. JUXTAPOSITION: A NEW WAY TO COMBINE LOGICS. The Review of Symbolic Logic, Vol. 4, Issue. 04, p. 560.


    Rasga, João Carnielli, Walter and Sernadas, Cristina 2009. Interpolation via translations. MLQ, Vol. 55, Issue. 5, p. 515.


    Sernadas, A. Sernadas, C. Rasga, J. and Coniglio, M. 2009. On Graph-theoretic Fibring of Logics. Journal of Logic and Computation, Vol. 19, Issue. 6, p. 1321.


    Sernadas, Cristina Viganò, Luca Rasga, João and Sernadas, Amílcar 2003. Truth-values as labels: a general recipe for labelled deduction. Journal of Applied Non-Classical Logics, Vol. 13, Issue. 3-4, p. 277.


    ×

Modulated fibring and the collapsing problem

  • Cristina Sernadas (a1), João Rasga (a2) and Walter A. Carnielli (a3)
  • DOI: http://dx.doi.org/10.2178/jsl/1190150298
  • Published online: 01 March 2014
Abstract
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.

Copyright
Linked references
Hide All

This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.

[1]P. Blackburn and M. de Rijke , Why combine logics?, Studia Logica, vol. 59 (1997), no. 1, pp. 527.

[2]L. Bolc and P. Borowik , Many-Valued Logics I, Springer Verlag, 1992.

[8]L. Fariñas Del Cerro and A. Herzig , Combining classical and intuitionistic logic, Frontiers of Combining Systems (F. Baader and K. Schulz , editors), Kluwer Academic Publishers, 1996, pp. 93102.

[10]D. Gabbay , An overview of fibred semantics and the combination of logics, Frontiers of combining systems (F. Baader and K. Schulz , editors), Kluwer Academic Publishers, 1996, pp. 155.

[12]N. Goodman , The logic of contradiction, Zeitschrift för Mathematische Logik and Grundlagen der Mathematik, vol. 27 (1981), no. 2, pp. 119126.

[15]G. Reyes and H. Zolfaghari , Bi-Heyting algebras, toposes and modalities, Journal of Philosophical Logic, vol. 25 (1996), no. 1, pp. 2543.

[16]A. Sernadas , C. Sernadas , and C. Caleiro , Fibring of logics as a categorial construction, Journal of Logic and Computation, vol. 9 (1999), no. 2, pp. 149179.

Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Journal of Symbolic Logic
  • ISSN: 0022-4812
  • EISSN: 1943-5886
  • URL: /core/journals/journal-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×