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 bring logics with congruence provided that congruence is retained in the resulting logic. The class of logics with equivalence is shown to be closed under bring and to be included in the class of logics with congruence. Thus, completeness is shown to be preserved by bring logics with equivalence and general semantics. An example is provided showing that completeness is not always preserved by bring logics endowed with standard (non general) semantics. A categorial characterization of bring is provided using coproducts and cocartesian liftings. 1 Introduction Much attention has been recently given to the problems of combining logics and obtaining transference results. Besides leading to very interesting applications whenever it is necessary to work with dierent logics at the same time, ...

Citations