Graham Leigh

An infinitary treatment of full mu-calculus
Bahareh Afshari, Gerhard Jäger, Graham E. Leigh
Lecture Notes in Computer Science 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings / editors: Iemhoff, Rosalie, Moortgat, Michael, de Queiroz, Ruy , Berlin, Heidelberg, Springer, Paper i proceeding 2019
Paper i proceeding

Axiomatic Theories of Truth
Volker Halbach, Graham E. Leigh
Stanford Encyclopedia of Philosophy, Bidrag till encyklopedi 2018
Bidrag till encyklopedi

Herbrand’s Theorem as Higher Order Recursion
Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
Mathematisches Forschungsinstitut Oberwolfach, Rapport 2018
Rapport

Cut-free completeness for modal mu-calculus
Bahareh Afshari, Graham E. Leigh
32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 20-23 June 2017, Reykjavik Iceland, Association for Computing Machinery (ACM), Paper i proceeding 2017
Paper i proceeding

Truth is Simple
Leon Horsten, Graham E. Leigh
Mind, Artikel i vetenskaplig tidskrift 2017
Artikel i vetenskaplig tidskrift

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, Kapitel i bok 2016
Kapitel i bok

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, Paper i proceeding 2016
Paper i proceeding

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, Paper i proceeding 2016
Paper i proceeding

Reflecting on Truth
Graham E. Leigh
IfCoLog Journal of Logics and their Applications, Artikel i vetenskaplig tidskrift 2016
Artikel i vetenskaplig tidskrift

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

A proof-theoretic account of classical principles of truth (extended abstract)
Graham E. Leigh
Numbers and truth, Göteborg, Sweden, October 19-21, 2012, Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2012
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

An ordinal analysis for theories of self-referential truth
Graham E. Leigh, Michael Rathjen
Archive for Mathematical Logic, Artikel i vetenskaplig tidskrift 2010
Artikel i vetenskaplig tidskrift

Proof-theoretic investigations into the Friedman-Sheard theories and other theories of truth
Graham E. Leigh
University of Leeds, Övrigt 2010
Övrigt

Five papers on axiomatic theories of truth
Graham E. Leigh
Bulletin of Symbolic Logic, Forskningsöversiktsartikel 2010
Forskningsöversiktsartikel