Graham Leigh

Senior Lecturer

Philosophy and Logic

unit

Telephone

+46 31-786 29 34

Mail

graham.leigh@gu.se

Visiting address

Renströmsgatan 6

41255 Göteborg

Room number

C504

Postal address

Box 200

40530 Göteborg

About Graham Leigh

I am associate professor and senior lecturer (docent) in Logic. 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 group webpage (external).

My interview with the Wallenberg Foundation: Reflecting on truth with the help of logic.

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

Gianluca Curzi, postdoctoral researcher
Ivan Di Liberti, postdoctoral researcher
Anton Pertun Broberg, doctoral student
Mattias Granberg Olsson, doctoral student
Giacomo Barlucchi, doctoral student
Tjeerd Fokkens, doctoral student
Dominik Wehr, doctoral student

Preprints and forthcoming work

Demystifying μ (with Bahareh Afshari and Guillermo Menéndez Turata), January 2024. arXiv: https://arxiv.org/abs/2401.01096
The limit of recursion in state-based systems (with B. Afshari and Giacomo Barlucchi). Extended abstract in Fixed Points in Computer Science 2024.
From GTC to Reset: Generating reset proof systems from cyclic proof systems (with Dominik Wehr), January 2023. arXiv: https://arxiv.org/abs/2301.07544.
Herbrand schemes for first-order logic (with B. Afshari and Sebastian Enqvist), October 2023. Pre-print: https://eprints.illc.uva.nl/id/eprint/2286/.
Herbrand schemes for cyclic proofs (with B. Afshari and S. Enqvist), December 2023. Pre-print: https://eprints.illc.uva.nl/id/eprint/2292/.
Uniform interpolation from cyclic proofs (with B. Afshari and G. Menéndez Turata). Full version of the extended abstract in TABLEAUX (2021) with full proofs and application to other modal logics.
Normal forms for cyclic proofs (with B. Afshari), manuscript. June 2023.

The above manuscripts are available on request.