|
|
Centre for Logic, Epistemology and the History of Science (CLE) |
|
|
|
|
Rules and Instructions | Sites Pointing to CLE e-Prints |
|
ISSN 1519-9681 |
|
ISSN 1519-9614 |
|
|
|||
| . | |||
|
|
|||
|
|||
.
|
|
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. |
|
|
|
|
|
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.
|
|
|
|
|