Formalised cut admissibility for display logic (0)

by J E Dawson, R Goré
Venue:In Theorem Proving in Higher Order Logics, 15th International Conference, TPHOLs 2002