Till startsida
Sitemap
To content Read more about how we use cookies on gu.se

Graham Leigh

Researcher

Graham Leigh
Researcher
graham.leigh@gu.se
+46 31 786 2934

Postal Address: Box 200, 40530 Göteborg
Visiting Address: Olof Wijksgatan 6 , 41390 Göteborg


Department of Philosophy, Linguistics, Theory of Science (More Information)
Box 200
405 30 Göteborg
www.flov.gu.se
flov@flov.gu.se

Visiting Address: Olof Wijksgatan 6 , 412 55 Göteborg

About Graham Leigh

My research interests concern the interface between the three facets of logic: mathematical logic, philosophical logic, and theoretical computer science. In particular I am interested in proof theory, theories of truth, non-classical logics, predicativism and fixed point logics.

I hold a Wallenberg Academy Fellowship from the Knut and Alice Wallenberg Foundation.

Latest publications

Cut-free completeness for modal mu-calculus
Bahareh Afshari, Graham E. Leigh
32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Conference paper 2017
Conference paper

Truth is Simple
Leon Horsten, Graham E. Leigh
Mind, Journal article 2017
Journal article

Reflecting on Truth
Graham E. Leigh
IfCoLog Journal of Logics and their Applications, Journal article 2016
Journal article

Finitary Proof Systems for Kozen’s μ
Bahareh Afshari, Graham E. Leigh
Mathematisches Forschungsinstitut Oberwolfach, Report 2016
Report

On the Herbrand content of LK
Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
Proceedings Sixth International Workshop on Classical Logic and Computation (CL&C16). Porto, Portugal , 23th June 2016, Conference paper 2016
Conference paper

Herbrand's theorem revisited
Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
Proceedings of Applied Mathematics and Mechanics. Joint 87th Annual Meeting of the International Association of Applied Mathematics and Mechanics (GAMM) and Deutsche Mathematiker-Vereinigung (DMV), Braunschweig 2016; Editors: V. Bach and H. Fassbender, Conference paper 2016
Conference paper

Herbrand confluence for first-order proofs with Π2-cuts
Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
Concepts of Proof in Mathematics, Philosophy, and Computer Science / Dieter Probst, Peter Schuster (eds.), Boston, De Gruyter, Chapter in book 2016
Chapter in book

Circular proofs for the modal mu-calculus
Bahareh Afshari, Graham E. Leigh
Proceedings of Applied Mathematics and Mechanics. Joint 87th Annual Meeting of the Gesellschaft für Angewandte Mathematik und Mechanik, held 7 – 11 March 2016 at TU Braunschweig, Germany., Conference paper 2016
Conference paper

Herbrand disjunctions, cut elimination and context-free tree grammars
Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
Leibniz International Proceedings in Informatics, LIPIcs, Conference paper 2015
Conference paper

Some Weak Theories of Truth
Graham E. Leigh
Unifying the Philosophy of Truth, Netherlands, Springer, Chapter in book 2015
Chapter in book

Showing 11 - 20 of 21

2015

Conservativity for theories of compositional truth via cut elimination
Graham E. Leigh
Journal of Symbolic Logic, Journal article 2015
Journal article

2014

Axiomatic theories of truth
Graham E. Leigh, Volker Halbach
Stanford Encyclopedia of Philosophy (Summer 2014 Edition), Chapter in book 2014
Chapter in book

2013

On closure ordinals for the modal μ-calculus
Bahareh Afshari, Graham E. Leigh
Leibniz International Proceedings in Informatics, LIPIcs, Conference paper 2013
Conference paper

A proof-theoretic account of classical principles of truth
Graham E. Leigh
Annals of Pure and Applied Logic, Journal article 2013
Journal article

Axiomatic truth, syntax and metatheoretic reasoning
Graham E. Leigh, Carlo Nicolai
Review of Symbolic Logic, Journal article 2013
Journal article

2012

Revision Revisited
Leon Horsten, Graham E. Leigh, Hannes Leitgeb, Philip Welch
The Review of Symbolic Logic, Journal article 2012
Journal article

The Friedman-Sheard programme in intuitionistic logic
Graham E. Leigh, Michael Rathjen
Journal of Symbolic Logic, Journal article 2012
Journal article

A proof-theoretic account of classical principles of truth (extended abstract)
Graham E. Leigh
Numbers and truth, Göteborg, Sweden, October 19-21, 2012, Conference contribution 2012
Conference contribution

2010

An ordinal analysis for theories of self-referential truth
Graham E. Leigh, Michael Rathjen
Archive for Mathematical Logic, Journal article 2010
Journal article

Showing 11 - 20 of 21

Page Manager: Monica Havström|Last update: 8/22/2016
Share:

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?