Journal of Symbolic Logic 65 (3):1168-1182 (2000)
|Abstract||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|
|Keywords||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
Steve Awodey & Erich H. Reck (2002). Completeness and Categoricity. Part I: Nineteenth-Century Axiomatics to Twentieth-Century Metalogic. History and Philosophy of Logic 23 (1):1-30.
Tomasz Połacik (1998). Propositional Quantification in the Monadic Fragment of Intuitionistic Logic. Journal of Symbolic Logic 63 (1):269-300.
Steve Awodey & Erich H. Reck (2002). Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-First-Century Semantics. History and Philosophy of Logic 23 (2):77-94.
Christoph Benzmüller, Chad E. Brown & Michael Kohlhase (2004). Higher-Order Semantics and Extensionality. Journal of Symbolic Logic 69 (4):1027 - 1088.
Added to index2009-01-28
Total downloads29 ( #43,142 of 556,888 )
Recent downloads (6 months)1 ( #64,931 of 556,888 )
How can I increase my downloads?