Since 2014
Topological Completeness for Higher-Order Logic
BRICS Report Series
View Archive Info| Field | Value | |
| Title |
Topological Completeness for Higher-Order Logic
|
|
| Creator |
Awodey, Steve
Butz, Carsten |
|
| Description |
Using recent results in topos theory, two systems of higher-order logic are shown to be complete with respect to sheaf models over topological spaces - so-called "topological semantics". The first is classical higher order logic, with relational quantification of finitely high type; the second system is a predicative fragment thereof with quantification over functions between types, but not over arbitrary relations. The second theorem applies to intuitionistic as well as classical logic.
|
|
| Publisher |
Aarhus University
|
|
| Date |
1997-01-21
|
|
| Type |
info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion |
|
| Format |
application/pdf
|
|
| Identifier |
https://tidsskrift.dk/brics/article/view/18947
10.7146/brics.v4i21.18947 |
|
| Source |
BRICS Report Series; No 21 (1997): RS-21 Topological Completeness for Higher-Order Logic
BRICS Report Series; Nr. 21 (1997): RS-21 Topological Completeness for Higher-Order Logic 1601-5355 0909-0878 |
|
| Language |
eng
|
|
| Relation |
https://tidsskrift.dk/brics/article/view/18947/16586
|
|