Geometric Logic

  • Cecilia Flori
Part of the Lecture Notes in Physics book series (LNP, volume 944)


In this chapter we will introduce the notion of a geometric logic. This is the logic of implication between geometric formulas (see Definition 10.2.3). Before introducing the notion of a geometric logic we need to recall the notion of a higher order type language \(\mathcal {L}\). This was already introduced in [[? ] A.3], however we will briefly summarise the main points in the following Section.


  1. 26.
    C. Flori, A First Course in Topos Quantum Theory. Lecture Notes in Physics, vol. 868 (Springer, Heidelberg, 2013)Google Scholar
  2. 50.
    P.T. Johnstone, Sketches of an Elephant A Topos Theory Compendium I, II (Oxford Science Publications, Oxford, 2002)Google Scholar

Copyright information

© Springer International Publishing AG 2018

Authors and Affiliations

  • Cecilia Flori
    • 1
  1. 1.Computing and Mathematical SciencesThe Waikato UniversityHamiltonNew Zealand

Personalised recommendations