Name Card

Full name Familienname, Vorname
Leigh, Graham
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-19 of 19 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Afshari, Bahareh ; Hetzl, Stefan ; Leigh, Graham E. Herbrand's theorem as higher order recursionArtikel Article 2020
2Horsten, Leon ; Leigh, Graham Truth is SimpleArtikel Article Jan-2017
3Afshari, Bahareh ; Hetzl, Stefan ; Leigh, Graham On the Herbrand content of LKPräsentation Presentation2016
4Leigh, Graham Stratified TruthPräsentation Presentation2016
5Afshari, Bahareh ; Hetzl, Stefan ; Leigh, Graham E. On the Herbrand content of LKArtikel Article2016
6Leigh, Graham ; Afshari, Bahareh Circular proofs for the modal mu-calculusArtikel Article2016
7Afshari, Bahareh ; Hetzl, Stefan ; Leigh, Graham E. Herbrand Confluence for First-Order Proofs with Π<sub>2</sub>-CutsBuchbeitrag Book Contribution2016
8Leigh, Graham Deciding fragments of fixed point modal logicPräsentation Presentation2015
9Leigh, Graham The simple truthPräsentation Presentation2015
10Leigh, Graham A theory of truth equi-consistent with Quine's New FoundationsPräsentation Presentation2015
11Leigh, Graham Herbrand's theorem, cut elimination and formal grammarsPräsentation Presentation2015
12Leigh, Graham Reflection and TruthPräsentation Presentation2015
13LEIGH, GRAHAM E. Conservativity for theories of compositional truth via cut eliminationArtikel Article2015
14Afshari, Bahareh ; Hetzl, Stefan ; Leigh, Graham Herbrand Disjunctions, Cut Elimination and Context-Free Tree GrammarsKonferenzbeitrag Inproceedings2015
15Leigh, Graham E. Some Weak Theories of TruthBuchbeitrag Book Contribution2015
16Leigh, Graham Logic, games and AutomataPräsentation Presentation2014
17Leigh, Graham Incompleteness and formal truthPräsentation Presentation2014
18Leigh, Graham Cut-elimination for compositional truthPräsentation Presentation2014
19Leigh, Graham Reflecting on truthPräsentation Presentation2014