Granberg Olsson, Mattias; Leigh, Graham E. Revisiting the conservativity of fixpoints over intuitionistic arithmetic. (English) Zbl 07790931 Arch. Math. Logic 63, No. 1-2, 61-87 (2024). MSC: 03F50 03F25 03F30 03F55 PDFBibTeX XMLCite \textit{M. Granberg Olsson} and \textit{G. E. Leigh}, Arch. Math. Logic 63, No. 1--2, 61--87 (2024; Zbl 07790931) Full Text: DOI arXiv OA License
Leigh, Graham E. From paradox to truth. An introduction to self-reference in formal language. (English) Zbl 07570787 Özgün, Aybüke (ed.) et al., Language, logic, and computation. 13th International Tbilisi symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13206, 343-353 (2022). MSC: 03A05 PDFBibTeX XMLCite \textit{G. E. Leigh}, Lect. Notes Comput. Sci. 13206, 343--353 (2022; Zbl 07570787) Full Text: DOI
Afshari, Bahareh; Hetzl, Stefan; Leigh, Graham E. Herbrand’s theorem as higher order recursion. (English) Zbl 1464.03085 Ann. Pure Appl. Logic 171, No. 6, Article ID 102792, 45 p. (2020). Reviewer: Annika Kanckos (Helsinki) MSC: 03F05 03F07 03D05 03F30 PDFBibTeX XMLCite \textit{B. Afshari} et al., Ann. Pure Appl. Logic 171, No. 6, Article ID 102792, 45 p. (2020; Zbl 1464.03085) Full Text: DOI
Leigh, Graham E.; Nicolai, Carlo Axiomatic truth, syntax and metatheoretic reasoning. (English) Zbl 1350.03010 Rev. Symb. Log. 6, No. 4, 613-636 (2013). MSC: 03A05 PDFBibTeX XMLCite \textit{G. E. Leigh} and \textit{C. Nicolai}, Rev. Symb. Log. 6, No. 4, 613--636 (2013; Zbl 1350.03010) Full Text: DOI
Leigh, G. E. A proof-theoretic account of classical principles of truth. (English) Zbl 1322.03039 Ann. Pure Appl. Logic 164, No. 10, 1009-1024 (2013). Reviewer: M. Yasuhara (Princeton) MSC: 03F03 03F05 03F25 03F55 03A05 PDFBibTeX XMLCite \textit{G. E. Leigh}, Ann. Pure Appl. Logic 164, No. 10, 1009--1024 (2013; Zbl 1322.03039) Full Text: DOI
Horsten, Leon; Leigh, Graham E.; Leitgeb, Hannes; Welch, Philip Revision revisited. (English) Zbl 1304.03020 Rev. Symb. Log. 5, No. 4, 642-665 (2012). Reviewer: Yaroslav Shramko (Kryvyi Rih) MSC: 03A05 03B80 PDFBibTeX XMLCite \textit{L. Horsten} et al., Rev. Symb. Log. 5, No. 4, 642--665 (2012; Zbl 1304.03020) Full Text: DOI
Leigh, Graham E.; Rathjen, Michael The Friedman-Sheard programme in intuitionistic logic. (English) Zbl 1248.03081 J. Symb. Log. 77, No. 3, 777-806 (2012). Reviewer: Victor V. Pambuccian (Phoenix) MSC: 03F55 03F25 03F30 PDFBibTeX XMLCite \textit{G. E. Leigh} and \textit{M. Rathjen}, J. Symb. Log. 77, No. 3, 777--806 (2012; Zbl 1248.03081) Full Text: DOI Euclid Link
Leigh, Graham Emil; Rathjen, Michael An ordinal analysis for theories of self-referential truth. (English) Zbl 1194.03051 Arch. Math. Logic 49, No. 2, 213-247 (2010). Reviewer: Andrea Cantini (Firenze) MSC: 03F03 03F05 03F25 03F30 03F35 03F40 03A05 PDFBibTeX XMLCite \textit{G. E. Leigh} and \textit{M. Rathjen}, Arch. Math. Logic 49, No. 2, 213--247 (2010; Zbl 1194.03051) Full Text: DOI