Topological Completeness for Higher-Order Logic (1997)

by Steve Awodey , Carsten Butz
Venue:Journal of Symbolic Logic
Citations:8 - 3 self

Documents Related by Co-Citation

180 Completeness in the theory of types – L Henkin - 1950
141 Introduction to Higher-Order Categorical Logic – J Lambek, P Scott - 1986
183 Topos Theory – P T Johnstone - 1977
190 Sheaves in Geometry and Logic. A First Introduction to Topos Theory. 2nd corrected printing – S Mac Lane, I Moerdijk - 1994
50 Sheaves and logic – M P Fourman, D S Scott - 1979
311 An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (2nd Ed – Peter B Andrews - 2002
9 Topological Representation of Sheaf Cohomology of Sites – Carsten Butz, Ieke Moerdijk - 1996
930 Categories for the Working Mathematician – S Mac Lane - 1971
11 Logical and cohomological aspects of the space of points of a topos – C Butz - 1996
2 Topos-theoretic semantics of fibring. Research report – M E Coniglio, A Sernadas, C Sernadas - 2002
48 Identity and existence in intuitionistic logic – D Scott - 1979
40 Categorical Logic and Type Theory, volume 141 – Bart Jacobs - 1999
199 hol: A proof generating system for higher-order logic – M J C Gordon
7 Adjointness in foundations. Dialectica – F W Lawvere - 1969
51 Fibring of logics as a categorial construction – Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro - 1999
45 Fibring: Completeness Preservation – Alberto Zanardo, Amilcar Sernadas, Cristina Sernadas - 2000
184 Isabelle: The next 700 theorem provers – L C Paulson - 1990
119 Mathematical Logic Based on the Theory of Types – Bertrand Russell - 1908
46 Toposes and Local Set Theories – J L Bell - 1988