Valentini's cut-elimination for provability logic resolved


Gore, R & Ramanayake, D 2008, 'Valentini's cut-elimination for provability logic resolved', Advances in Modal Logic (AiML 2008), ed. Carlos Areces and Robert Goldblatt, College Publications, United Kingdom, pp. 67-86.



Fields of Research

  • Mathematical Logic, Set Theory, Lattices And Universal Algebra
  • Computational Logic And Formal Languages
  • Computation Theory And Mathematics Not Elsewhere Classified

Updated:  14 April 2021 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers