Skip to main content
SpringerLink
Log in

Geometric Logic in Computer Science

  • Conference paper
Theory and Formal Methods 1993

Part of the book series: Workshops in Computing ((WORKSHOPS COMP.))

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. S. Abramsky, Domain theory in logical form, pp. 1–77 in Annals of Pure and Applied Logic vol. 51, 1991.

    Google Scholar 

  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.

    Book  MATH  Google Scholar 

  3. Wilfrid Hodges, Another Semantics for Z, unpublished notes.

    Google Scholar 

  4. Peter Johnstone, Topos theory, Academic Press, London, 1977.

    MATH  Google Scholar 

  5. Peter Johnstone, Stone Spaces,Cambridge University Press, 1982.

    Google Scholar 

  6. Peter Johnstone, Partial products, bagdomains and hyperlocal toposes, pp. 315–339 in [2].

    Google Scholar 

  7. J. Lambek and P.J. Scott, Introduction to Higher Order Categorical Logic, Cambridge University Press, 1986.

    Google Scholar 

  8. Michael Makkai and Gonzalo E. Reyes, First Order Categorical Logic, Lecture Notes in Mathematics 611, Springer-Verlag, 1977.

    MATH  Google Scholar 

  9. Steven Vickers, Topology via Logic,Cambridge University Press, 1989.

    Google Scholar 

  10. Steven Vickers, Geometric theories and databases, pp. 288–314 in [2].

    Google Scholar 

  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 

Download references

Author information

Authors and Affiliations

  1. Department of Computing, Imperial College, 180 Queen’s Gate, London, SW7 2BZ, UK

    Steve Vickers

Authors
  1. Steve Vickers
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computing, Imperial College of Science, Technology and Medicine, 180 Queen’s Gate, SW7 2BZ, London, UK

    Geoffrey Burn BSc (Hons), PhD, DIC , Simon Gay BA (Hons), DipCompSci  & Mark Ryan MA, PhD ,  & 

Rights and permissions

Reprints and permissions

Copyright information

© 1993 British Computer Society

About this paper

Cite this paper

Vickers, S. (1993). Geometric Logic in Computer Science. In: Burn, G., Gay, S., Ryan, M. (eds) Theory and Formal Methods 1993. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3503-6_4

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-3503-6_4

  • Publisher Name: Springer, London

  • Print ISBN: 978-3-540-19842-0

  • Online ISBN: 978-1-4471-3503-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation