The Journal of Symbolic Logic

Research Article

Fibring: completeness preservation

Alberto Zanardoa1, Amilcar Sernadasa2 and Cristina Sernadasa3

a1 Dipartimento di Matematica Pura ed Applicata, University of Padova, Italy, E-mail: azanardo@math.unipd.it

a2 CMA, Departamento de Matematica, 1st, Portugal, E-mail: acs@math.ist.utl.pt

a3 CMA, Departamento de Matemática, 1st, Portugal, E-mail: css@math.ist.utl.pt

Abstract

A completeness theorem is established for logics with congruence endowed with general semantics (in the style of general frames). As a corollary, completeness is shown to be preserved by fibring logics with congruence provided that congruence is retained in the resulting logic. The class of logics with equivalence is shown to be closed under fibring and to be included in the class of logics with congruence. Thus, completeness is shown to be preserved by fibring logics with equivalence and general semantics. An example is provided showing that completeness is not always preserved by fibring ligics endowed with standard (non general) semantics. A categorial characterization of fibring is provided using coproducts and cocartesian liftings.

(Received February 25 1999)

(Revised October 01 1999)