Oxford Journals
tools journals homepage advanced search contact help
Journal of Logic and Computation: Current Issue

OUP > Journals > Computing/Engineer. & Mathematics/Stats. > Journal of Logic and Computation

Journal of Logic and Computation

Volume 13, Issue 4, June 2003: pp. 595-624

Original Article
Fibring Logics with Topos Semantics

Marcelo E. Coniglio1, Amilcar C. Sernadas2 and Cristina S. Sernadas2

1Departamento de Filosofia, Universidade Estadual de Campinas, Brazil. E-mail: coniglio@cle.unicamp.br
2CLC, Departamento de Matemática, IST, Portugal. E-mail: acs@math.ist.utl.pt, css@math.ist.utl.pt

The concept of fibring is extended to higher-order logics with arbitrary modalities and binding operators. A general completeness theorem is established for such logics including HOL and with the meta-theorem of deduction. As a corollary, completeness is shown to be preserved when fibring such rich logics. This result is extended to weaker logics in the cases where fibring preserves conservativeness of HOL-enrichments. Soundness is shown to be preserved by fibring without any further assumptions.

Keywords: Modal higher-order logic, categorical logic, completeness, conservative extensions.

Table of Contents   Full-Text PDF (300 KB)

Oxford University Press
Published by Oxford University Press
Copyright ©Oxford University Press 2003
Print ISSN: 0955-792X  Online ISSN: 1465-363X.
Oxford University Press Privacy Policy and Legal Statement