Formalised cut admissibility for display logic
Citation
Dawson, J & Gore, R 2002, 'Formalised cut admissibility for display logic', International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2002), ed. G. Goos, J. Hartmanis, J. van Leeuwen, Springer, Berlin, pp. 131-147.Year
2002ANU Authors
Field of Research
- Computation Theory And Mathematics Not Elsewhere Classified