Contraction-free Sequent Calculi for Intuitionistic Logic (1992)

by R Dyckhoff
Venue:Journal of Symbolic Logic