Skip navigation
The Australian National University

Formalised cut admissibility for display logic


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.



Field of Research

  • Computation Theory And Mathematics Not Elsewhere Classified

Updated:  22 June 2018 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers