Two Restrictions on Contraction

DOI10.1093/JIGPAL/11.5.525zbMath1051.03047OpenAlexW1970244405MaRDI QIDQ4812252

Kai Brünnler

Publication date: 7 September 2004

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

Full work available at URL: https://doi.org/10.1093/jigpal/11.5.525

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05)

This page was built for publication: Two Restrictions on Contraction