Journal of Symbolic Logic

Fibring: Completeness Preservation

Alberto Zanardo, Amilcar Sernadas, and Cristina Sernadas

Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.

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 logics endowed with standard (non general) semantics. A categorial characterization of fibring is provided using coproducts and cocartesian liftings.

Article information

Source
J. Symbolic Logic, Volume 66, Issue 1 (2001), 414-439.

Dates
First available in Project Euclid: 6 July 2007

Permanent link to this document
https://projecteuclid.org/euclid.jsl/1183746380

Mathematical Reviews number (MathSciNet)
MR1825194

Zentralblatt MATH identifier
0981.03011

JSTOR
links.jstor.org

Citation

Zanardo, Alberto; Sernadas, Amilcar; Sernadas, Cristina. Fibring: Completeness Preservation. J. Symbolic Logic 66 (2001), no. 1, 414--439. https://projecteuclid.org/euclid.jsl/1183746380


Export citation