Fibring Logics with Topos Semantics (2002)
Cached
Download Links
by
M. E. Coniglio
,
C. Sernadas
,
C. Sernadas
| Citations: | 10 - 5 self |
BibTeX
@MISC{Coniglio02fibringlogics,
author = {M. E. Coniglio and C. Sernadas and C. Sernadas},
title = {Fibring Logics with Topos Semantics},
year = {2002}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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.
