Valentini's cut-elimination for provability logic resolved
Citation
Gore, R & Ramanayake, R 2012, 'Valentini's cut-elimination for provability logic resolved', Review of Symbolic Logic, vol. 5, no. 2, pp. 212-238.Year
2012ANU Authors
Fields of Research
- Mathematical Logic, Set Theory, Lattices And Universal Algebra
- Computational Logic And Formal Languages
- Computation Theory And Mathematics Not Elsewhere Classified