Roy Dyckhoff, Sara Negri. Admissibility of Structural Rules for Contraction-Free Systems of Intuitionistic Logic. Journal of Symbolic Logic, 65(4):1499-1518, 2000.
No references recorded for this publication.
No citations of this publication recorded.