Topological Completeness for Higher-Order Logic (1997)

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

Active Bibliography

Topological Representation of the &ambda;-Calculus – S. Awodey - 1998
2 Sheaf Representation for Topoi – S. Awodey - 1997
4 Syntax and Semantics of the logic ... – Carsten Butz, Carsten Butz - 1997
1 Continuity and Logical Completeness: An application of sheaf theory and topoi – Steve Awodey - 2000
3 To appear in Structural Foundations of Quantum Gravity, – John C. Baez, Steven French, Dean Rickles, Juha Saatsi, Oxford U. Press - 2004
2 Logic in topoi: Functorial Semantics for Higher-Order Logic – Steven Awodey - 1997
TYPES, SETS AND CATEGORIES – John L. Bell
24 Deliverables: A Categorical Approach to Program Development in Type Theory – James Hugh McKinna - 1992
1 Reflections on a categorical foundations of mathematics – J. Lambek, P. J. Scott
1 A Higher-Order Theory of Presupposition – Carl Pollard
5 Hyperintensions – Carl Pollard
2 A Complete Axiomatization of Higher-Order Intuitionistic Logic – Marcelo E. Coniglio, Cristina Sernadas - 2001
and Theories Version 1.1, Reprinted by Theory and Applications of Categories – Michael Barr, Charles Wells, Originally Published Springer-verlag, Michael Barr, Charles Wells, Charles Wells
188 Toposes, Triples and Theories – Michael Barr, Charles Wells - 2005
Topological Completeness of First-Order Modal Logic – Steve Awodey, Kohei Kishida
New Semantics for the Simply Typed lambda-calculus – Avi Silterra - 2003
New Semantics for the Simply Typed – Calculus Logic And, Avi Silterra
7 Classifying Toposes for First Order Theories – Carsten Butz, Peter T. Johnstone - 1997
A Generalization of Dijkstra's Calculus to Typed Program Specifications – Program Speci Cations, Klaus-dieter Schewe, Bernhard Thalheim