Semantics of weakening and contraction. Annals of pure and applied logic (1994)

by B Jacobs