Home  Online Resources  Table of Contents

Journal of Logic and Computation, Volume 9, Issue 2, pp. 149-179: Abstract.

Fibring of logics as a categorial construction

A Sernadas, C Sernadas and C Caleiro

Departamento de Matemática, IST, Av. Rovisco Pais, 1096 Lisboa, Portugal. E-mail: {acs,css,ccal}@math.ist.utl.pt

Much attention has been given recently to the mechanism of fibring of logics, allowing free mixing of the connectives and using proof rules from both logics. Fibring seems to be a rather useful and general form of combination of logics that deserves detailed study. It is now well understood at the proof-theoretic level. However, the semantics of fibring is still insufficiently understood. Herein we provide a categorial definition of both proof-theoretic and model-theoretic fibring for logics without terms. To this end, we introduce the categories of Hilbert calculi, interpretation systems and logic system presentations. By choosing appropriate notions of morphism it is possible to obtain pure fibring as a coproduct. Fibring with shared symbols is then easily obtained by coCarteisan lifting from the category of signatures. Soundness is shown to be preserved by these constructions. We illustrate the constructions within prepositional modal logic.

Key words: Logic morphism, combination of logics, fibring, fibred semantics, preservation of soundness, modal logic.

  Full-Text PDF  (390 KB)

[ Oxford University Press]   [ Oxford Journals]   [ Comments & Feedback]   Copyright© Oxford University Press, 1999.