Gentzenization and Decidability of some Contraction-Less Relevant Logics (1991)

by ROSS T BRADY
Venue:Journal of Philosophical Logic