Geometric Logic in Computer Science
We present an introduction to geometric logic and the mathematical structures associated with it, such as categorical logic and toposes. We also describe some of its applications in computer science including its potential as a logic for specification languages.
KeywordsFree Variable Geometric Theory Natural Transformation Function Symbol Predicate Symbol
Unable to display preview. Download preview PDF.
- S. Abramsky, Domain theory in logical form, pp. 1–77 in Annals of Pure and Applied Logic vol. 51, 1991.Google Scholar
- Wilfrid Hodges, Another Semantics for Z, unpublished notes.Google Scholar
- Peter Johnstone, Stone Spaces,Cambridge University Press, 1982.Google Scholar
- Peter Johnstone, Partial products, bagdomains and hyperlocal toposes, pp. 315–339 in .Google Scholar
- J. Lambek and P.J. Scott, Introduction to Higher Order Categorical Logic, Cambridge University Press, 1986.Google Scholar
- Steven Vickers, Topology via Logic,Cambridge University Press, 1989.Google Scholar
- Steven Vickers, Geometric theories and databases, pp. 288–314 in .Google Scholar
- Steven Vickers, Topical categories of domains, pp. 261–274 in Winskel (ed.) Proceedings of the CLICS Workshop 1992, Technical Report DAIMI PB–397-I, Computer Science Department, Aarhus University, 1992.Google Scholar