Admissibility of Structural Rules for Contraction-Free Systems of Intuitionistic Logic (2000)

Cached

Download Links

by Roy Dyckhoff , Sara Negri
Venue:Journal of Symbolic Logic
Citations:11 - 4 self