Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Graham Leigh

Forskare

Graham Leigh
Forskare
graham.leigh@gu.se
031-786 4945

Postadress: Box 200, 40530 Göteborg
Besöksadress: Olof Wijksgatan 6 , 41390 Göteborg


Institutionen för filosofi, lingvistik och vetenskapsteori (Mer information)
Box 200
40530 Göteborg
www.flov.gu.se
flov@flov.gu.se

Besöksadress: Olof wijksgatan 6 , 41255 Göteborg

Om Graham Leigh

Se den engelska sidan för mer information
See English description for more information

Senaste publikationer

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

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

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

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

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

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

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

Some Weak Theories of Truth
Graham E. Leigh
Unifying the Philosophy of Truth, Netherlands, Springer, Kapitel i bok 2015
Kapitel i bok

Conservativity for theories of compositional truth via cut elimination
Graham E. Leigh
Journal of Symbolic Logic, Artikel i vetenskaplig tidskrift 2015
Artikel i vetenskaplig tidskrift

Axiomatic theories of truth
Graham E. Leigh, Volker Halbach
Stanford Encyclopedia of Philosophy (Summer 2014 Edition), Kapitel i bok 2014
Kapitel i bok

Visar 1 - 10 av 19

2017

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

2016

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

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

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

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

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

2015

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

Some Weak Theories of Truth
Graham E. Leigh
Unifying the Philosophy of Truth, Netherlands, Springer, Kapitel i bok 2015
Kapitel i bok

Conservativity for theories of compositional truth via cut elimination
Graham E. Leigh
Journal of Symbolic Logic, Artikel i vetenskaplig tidskrift 2015
Artikel i vetenskaplig tidskrift

2014

Axiomatic theories of truth
Graham E. Leigh, Volker Halbach
Stanford Encyclopedia of Philosophy (Summer 2014 Edition), Kapitel i bok 2014
Kapitel i bok

Visar 1 - 10 av 19

Sidansvarig: Monica Havström|Sidan uppdaterades: 2016-01-21
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?