Sciweavers

Share
IGPL
2010

Fusion of sequent modal logic systems labelled with truth values

10 years 2 months ago
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.
João Rasga, Karina Roggia, Cristina Sernada
Added 27 Jan 2011
Updated 27 Jan 2011
Type Journal
Year 2010
Where IGPL
Authors João Rasga, Karina Roggia, Cristina Sernadas
Comments (0)
books