Contraction-free sequent calculi for intuitionistic logic (1992)

by R Dyckhoff
Venue:In The Journal of Symbolic Logic