.
Centre for Logic, Epistemology and the History of Science (CLE)

Main Page

Articles

Editorial Board

Rules and Instructions
Sites Pointing to CLE e-Prints

CLE e-Prints eletronic version
ISSN 1519-9681
CLE e-Prints printed version 
ISSN 1519-9614
.
Vol. 2(5), 2002 (Section Logic)
.
Topos-Theoretic Semantics of Fibring
.
M.E. Coniglio
Personal web-page
A. Sernadas
C. Sernadas
.
.
Date Posted: March, 20th 2002
Download Files:  [PDF]      [PS]
.

Publication Information
The final version of this paper is published as:

M.E. Coniglio; A. Sernadas; C. Sernadas, "Fibring Logics with Topos Semantics", Journal of Logic and Computation 13(4):595-624, 2003.

.
Abstract
.
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, completeness, conservative extensions.
.
.
.
BACK
.
© 2001 - Centro de Lógica, Epistemologia e História da Ciência - CLE
Last Update: March, 20th, 2002
Problems, sugestions and questions about this site?
contact:webmaster@cle.unicamp.br