Graduate studies at Western
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)|
|Categories||categorize this paper)|
|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.
Steve Awodey & Kohei Kishida (2008). Topology and Modality: The Topological Interpretation of First-Order Modal Logic. The Review of Symbolic Logic 1 (2):146-166.
Added to index2009-01-28
Total downloads31 ( #45,055 of 754,747 )
Recent downloads (6 months)2 ( #38,535 of 754,747 )
How can I increase my downloads?