Admissibility of structural rules for contraction-free systems of intuitionistic logic

From MaRDI portal
Publication:2710593

DOI10.2307/2695061zbMath0973.03010OpenAlexW2134005639MaRDI QIDQ2710593

Roy Dyckhoff, Sara Negri

Publication date: 16 July 2001

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2695061




Related Items (5)


Uses Software



Cites Work




This page was built for publication: Admissibility of structural rules for contraction-free systems of intuitionistic logic