Fusion of sequent modal logic systems labelled with truth values

Fusion is a well-known form of combining normal modal logics endowed with a Hilbert calculi and a Kripke semantics. Herein, fusion is studied over logic systems using sequent calculi labelled with truth values and with a semantics based on a two-sorted algebra allowing, in particular, the representation of general Kripke structures. A wide variety of logics, including non-classical logics like, for instance, modal logics and intuitionistic logic can be presented by logic systems of this kind. A categorical approach of fusion is defined in the context of these logic systems. Preservation of soundness and completeness by fusion is studied. Soundness is preserved without further requirements, completeness is preserved under mild assumptions.

[1]  Frank Wolter,et al.  Fusions of Modal Logics Revisited , 1996, Advances in Modal Logic.

[2]  Alessandra Russo,et al.  Generalising Propositional Modal Logic Using Labelled Deductive Systems , 1996, FroCoS.

[3]  D. Gabbay,et al.  Many-Dimensional Modal Logics: Theory and Applications , 2003 .

[4]  Christian G. Fermüller,et al.  Labeled Calculi and Finite-Valued Logics , 1998, Stud Logica.

[5]  K. Brown,et al.  Graduate Texts in Mathematics , 1982 .

[6]  S. Lane.  Categories for the Working Mathematician , 1971 .

[7]  Risto Hilpinen,et al.  Deontic, epistemic, and temporal modal logics , 2007 .

[8]  Richard Spencer-Smith,et al.  Modal Logic , 2007 .

[9]  Dov M. Gabbay,et al.  Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems , 2008 .

[10]  Joseph Y. Halpern,et al.  Reasoning about knowledge: a survey , 1995 .

[11]  Dov M. Gabbay,et al.  Chapter 13 – Labelled Deductive Systems , 2003 .

[12]  D. Gabbay,et al.  Handbook of Philosophical Logic, Volume II. Extensions of Classical Logic , 1986 .

[13]  Greg Restall,et al.  An Introduction to Substructural Logics , 2000 .

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

[15]  Krysia Broda,et al.  Compiled Labelled Deductive Systems: A Uniform Presentation of Non-Classical Logics , 2004 .

[16]  D. Holdstock.  Past, present--and future? , 2005, Medicine, conflict, and survival.

[17]  Cristina Sernadas,et al.  Modal Sequent Calculi Labelled with Truth Values: Cut Elimination , 2005, Log. J. IGPL.

[18]  Krysia Broda,et al.  Labelled Natural Deduction for Conditional Logics of Normality , 2002, Log. J. IGPL.

[19]  Luca Viganò,et al.  Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity , 2004, Log. J. IGPL.

[20]  V. Svejdar.  On provability logic , 1999 .

[21]  Luca Viganò,et al.  Labelled Deduction over Algebras of Truth-Values , 2002, FroCoS.

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

[23]  Luca Viganò,et al.  Labelled non-classical logics , 2000 .

[24]  R. Thomason.  Combinations of Tense and Modality , 2002 .

[25]  Krysia Broda,et al.  Labelled Natural Deduction for Substructural Logics , 1999, Log. J. IGPL.