Logics without the contraction rule (1985)

by H Ono, Y Komori
Venue:The Journal of Symbolic Logic