Geometric Logic in Computer Science

  • Steve Vickers
Part of the Workshops in Computing book series (WORKSHOPS COMP.)


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.


Free Variable Geometric Theory Natural Transformation Function Symbol Predicate Symbol 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    S. Abramsky, Domain theory in logical form, pp. 1–77 in Annals of Pure and Applied Logic vol. 51, 1991.Google Scholar
  2. [2]
    M.P. Fourman, P.T. Johnstone and A.M. Pitts (eds.), Applications of Categories in Computer Science, London Mathematical Society Lecture Note Series vol. 177, Cambridge University Press, 1992.MATHCrossRefGoogle Scholar
  3. [3]
    Wilfrid Hodges, Another Semantics for Z, unpublished notes.Google Scholar
  4. [4]
    Peter Johnstone, Topos theory, Academic Press, London, 1977.MATHGoogle Scholar
  5. [5]
    Peter Johnstone, Stone Spaces,Cambridge University Press, 1982.Google Scholar
  6. [6]
    Peter Johnstone, Partial products, bagdomains and hyperlocal toposes, pp. 315–339 in [2].Google Scholar
  7. [7]
    J. Lambek and P.J. Scott, Introduction to Higher Order Categorical Logic, Cambridge University Press, 1986.Google Scholar
  8. [8]
    Michael Makkai and Gonzalo E. Reyes, First Order Categorical Logic, Lecture Notes in Mathematics 611, Springer-Verlag, 1977.MATHGoogle Scholar
  9. [9]
    Steven Vickers, Topology via Logic,Cambridge University Press, 1989.Google Scholar
  10. [10]
    Steven Vickers, Geometric theories and databases, pp. 288–314 in [2].Google Scholar
  11. [11]
    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

Copyright information

© British Computer Society 1993

Authors and Affiliations

  • Steve Vickers
    • 1
  1. 1.Department of ComputingImperial CollegeLondonUK

Personalised recommendations