Simple Gentzenizations for the normal formulae of contraction-less logics
From MaRDI portal
Publication:3128476
DOI10.2307/2275819zbMath0897.03019OpenAlexW2099053388MaRDI QIDQ3128476
Publication date: 11 October 1998
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2275819
Cites Work