University of Gothenburg
University of Gothenburg
  2. About
  3. Find staff
  4. Graham Leigh

Graham Leigh

Researcher

Linguistics, Logic and Theory of Science
unit
Telephone
+46 31-786 29 34
Mail
graham.leigh@gu.se
Visiting address
Renströmsgatan 6
41255 Göteborg
Room number
J507
Postal address
Box 200
40530 Göteborg

About Graham Leigh

My research interests concern the interface between the three facets of logic: mathematical, philosophical and computational logic. I have worked in proof theory, theories of truth, non-classical logics, computational content of logics, and modal logic.

For information about our research seminar in logic and activities of our group see our external webpage.

Research projects

  • Wallenberg Academy Fellowship Prolongation, 2020. Research project: Taming Jörmungandr: The Logical Foundations of Circularity (2021–2026).
  • Wallenberg Academy Fellowship, 2015. Research project: Reflection and Truth (2015–2021).
  • VR Starting Grant. Project: Reflecting on Truth and Types (2018–2022).

Research team

Preprints and forthcoming work

  • The Copernican Multiverse of Sets (with Paul K. Gorbow), Review of Symbolic Logic, accepted. arXiv:2005.11087
  • A proof of conservativity of fixed points over Heyting arithmetic via truth (with Mattias Granberg Olsson), draft.
  • Uniform interpolation from cyclic proofs: the case of modal mu-calculus (with Bahareh Afshari and Guillermo Menéndez Turata), submitted.
  • From Paradox to Truth: An introduction to self-reference in formal language. In: Logic, Language, and Computation, Selected papers of the Thirteenth International Tbilisi Symposium, to appear.
  • Lyndon interpolation for the modal mu-calculus (with Bahareh Afshari). In: Logic, Language, and Computation, Selected papers of the Thirteenth International Tbilisi Symposium, to appear.

The above papers are available on request.